From 7219d0b33bfbf12ce879ca273350ccabd57f657c Mon Sep 17 00:00:00 2001
From: Damyan Ivanov <dmn@debian.org>
Date: Wed, 21 Jun 2017 14:14:07 +0000
Subject: [PATCH] some air after the indicators

---
 icedeb.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/icedeb.css b/icedeb.css
index 5a64933..bc14476 100644
--- 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;
-- 
2.39.5