some air after the indicators

diff --git a/icedeb.css b/icedeb.css
index 5a64933b0a3f84c5241aa0617b6fed6459cea6c3..bc144766ca1284ed4b94b6e8f2dd5d1a2c327735 100644 (file)
--- a/icedeb.css
+++ b/icedeb.css
@@ -38,7 +38,7 @@ body { padding: 1ex; }
     text-decoration: underline;
 }
 a, a:visited { color: blue; }
-.hints { margin-left: auto; margin-right: 0; }
+.hints { margin-left: auto; margin-right: 1ex; }
 .hints .hint {
     display: inline-block;
     width: 1.8ex;