diff options
Diffstat (limited to 'coverage/htmlfiles')
-rw-r--r-- | coverage/htmlfiles/coverage_html.js | 4 | ||||
-rw-r--r-- | coverage/htmlfiles/keybd_closed.png | bin | 112 -> 9004 bytes | |||
-rw-r--r-- | coverage/htmlfiles/keybd_open.png | bin | 112 -> 9003 bytes | |||
-rw-r--r-- | coverage/htmlfiles/style.css | 8 | ||||
-rw-r--r-- | coverage/htmlfiles/style.scss | 12 |
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 Binary files differindex 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 Binary files differindex 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; |