fix: correct slight mis-layout of the hotkey panels

5 files changed, 12 insertions, 12 deletions

diff --git a/coverage/htmlfiles/coverage_html.js b/coverage/htmlfiles/coverage_html.js
index c2151d34..30d3a067 100644
--- a/coverage/htmlfiles/coverage_html.js
+++ b/coverage/htmlfiles/coverage_html.js
@@ -29,8 +29,8 @@ coverage.wire_up_help_panel = function () {
         var koff = $("#keyboard_icon").offset();
         var poff = $("#panel_icon").position();
         $(".help_panel").offset({
-            top: koff.top-poff.top,
-            left: koff.left-poff.left
+            top: koff.top-poff.top-1,
+            left: koff.left-poff.left-1
         });
     });
     $("#panel_icon").click(function () {
diff --git a/coverage/htmlfiles/keybd_closed.png b/coverage/htmlfiles/keybd_closed.png
index db114023..ba119c47 100644
--- a/coverage/htmlfiles/keybd_closed.png
+++ b/coverage/htmlfiles/keybd_closed.png
diff --git a/coverage/htmlfiles/keybd_open.png b/coverage/htmlfiles/keybd_open.png
index db114023..a8bac6c9 100644
--- a/coverage/htmlfiles/keybd_open.png
+++ b/coverage/htmlfiles/keybd_open.png
diff --git a/coverage/htmlfiles/style.css b/coverage/htmlfiles/style.css
index 36ee2a6e..7f8e32ab 100644
--- a/coverage/htmlfiles/style.css
+++ b/coverage/htmlfiles/style.css
@@ -108,17 +108,17 @@ h2.stats { margin-top: .5em; font-size: 1em; }
 
 #keyboard_icon { float: right; margin: 5px; cursor: pointer; }
 
-.help_panel { padding: .5em; border: 1px solid #883; }
+.help_panel { padding: .75em; border: 1px solid #883; }
 
 .help_panel .legend { font-style: italic; margin-bottom: 1em; }
 
-.indexfile .help_panel { width: 20em; min-height: 4em; }
+.indexfile .help_panel { width: 25em; }
 
-.pyfile .help_panel { width: 16em; min-height: 8em; }
+.pyfile .help_panel { width: 18em; }
 
 #panel_icon { float: right; cursor: pointer; }
 
-.keyhelp { margin: .75em; }
+.keyhelp { margin-top: .75em; }
 
 .keyhelp .key { border: 1px solid black; border-color: #888 #333 #333 #888; padding: .1em .35em; font-family: SFMono-Regular, Menlo, Monaco, Consolas, monospace; font-weight: bold; background: #eee; }
 
diff --git a/coverage/htmlfiles/style.scss b/coverage/htmlfiles/style.scss
index 158d1fb4..39432340 100644
--- a/coverage/htmlfiles/style.scss
+++ b/coverage/htmlfiles/style.scss
@@ -305,7 +305,7 @@ h2.stats {
 
 .help_panel {
     @extend %popup;
-    padding: .5em;
+    padding: .75em;
     border: 1px solid #883;
 
     .legend {
@@ -314,13 +314,13 @@ h2.stats {
     }
 
     .indexfile & {
-        width: 20em;
-        min-height: 4em;
+        width: 25em;
+        //min-height: 4em;
     }
 
     .pyfile & {
-        width: 16em;
-        min-height: 8em;
+        width: 18em;
+        //min-height: 8em;
     }
 }
 
@@ -330,7 +330,7 @@ h2.stats {
 }
 
 .keyhelp {
-    margin: .75em;
+    margin-top: .75em;
 
     .key {
         border: 1px solid black;