A few further style tweaks to the HTML report

- File names are not monospaced
- Button styling make on/off a little more pronounced
- Fix the alignment of the header on the index page

Author: nedbat

coverage/htmlfiles/style.css

@@ -5,9 +5,7 @@
 html, body, h1, h2, h3, p, table, td, th { margin: 0; padding: 0; border: 0; font-weight: inherit; font-style: inherit; font-size: 100%; font-family: inherit; vertical-align: baseline; }
 
 body { font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Ubuntu, Cantarell, "Helvetica Neue", sans-serif; font-size: 1em; background: #fff; color: #000; }
-
 @media (prefers-color-scheme: dark) { body { background: #1e1e1e; } }
-
 @media (prefers-color-scheme: dark) { body { color: #eee; } }
 
 html > body { font-size: 16px; }
@@ -25,259 +23,150 @@ table tr.hidden { display: none !important; }
 p#no_rows { display: none; font-size: 1.2em; }
 
 a.nav { text-decoration: none; color: inherit; }
-
 a.nav:hover { text-decoration: underline; color: inherit; }
 
 #header { background: #f8f8f8; width: 100%; border-bottom: 1px solid #eee; }
-
 @media (prefers-color-scheme: dark) { #header { background: black; } }
-
 @media (prefers-color-scheme: dark) { #header { border-color: #333; } }
 
-.indexfile #footer { margin: 1em 3em; }
+.indexfile #footer { margin: 1rem 3rem; }
 
-.pyfile #footer { margin: 1em 1em; }
+.pyfile #footer { margin: 1rem 1rem; }
 
 #footer .content { padding: 0; color: #666; font-style: italic; }
-
 @media (prefers-color-scheme: dark) { #footer .content { color: #aaa; } }
 
-#index { margin: 1em 0 0 3em; }
+#index { margin: 1rem 0 0 3rem; }
 
-#header .content { padding: 1em 3rem; }
+#header .content { padding: 1rem 3rem; }
 
 h1 { font-size: 1.25em; display: inline-block; }
 
 #filter_container { float: right; margin: 0 2em 0 0; }
-
 #filter_container input { width: 10em; padding: 0.2em 0.5em; border: 2px solid #ccc; background: #fff; color: #000; }
-
 @media (prefers-color-scheme: dark) { #filter_container input { border-color: #444; } }
-
 @media (prefers-color-scheme: dark) { #filter_container input { background: #1e1e1e; } }
-
 @media (prefers-color-scheme: dark) { #filter_container input { color: #eee; } }
-
 #filter_container input:focus { border-color: #007acc; }
 
 h2.stats { margin-top: .5em; font-size: 1em; }
 
-.stats button { font-family: inherit; font-size: inherit; border: 2px solid; border-radius: .1em; color: inherit; padding: .1em .5em; margin: 0 .1em; cursor: pointer; border-color: #ccc; }
-
+.stats button { font-family: inherit; font-size: inherit; border: 1px solid; border-radius: .2em; color: inherit; padding: .1em .5em; margin: 1px calc(.1em + 1px); cursor: pointer; border-color: #ccc; }
 @media (prefers-color-scheme: dark) { .stats button { border-color: #444; } }
-
 .stats button:active, .stats button:focus { outline: 2px dashed #007acc; }
-
 .stats button:active, .stats button:focus { outline: 2px dashed #007acc; }
-
 .stats button.run { background: #eeffee; }
-
 @media (prefers-color-scheme: dark) { .stats button.run { background: #373d29; } }
-
-.stats button.run.show_run { background: #dfd; border-color: #00dd00; }
-
+.stats button.run.show_run { background: #dfd; border: 2px solid #00dd00; margin: 0 .1em; }
 @media (prefers-color-scheme: dark) { .stats button.run.show_run { background: #373d29; } }
-
 .stats button.mis { background: #ffeeee; }
-
 @media (prefers-color-scheme: dark) { .stats button.mis { background: #4b1818; } }
-
-.stats button.mis.show_mis { background: #fdd; border-color: #ff0000; }
-
+.stats button.mis.show_mis { background: #fdd; border: 2px solid #ff0000; margin: 0 .1em; }
 @media (prefers-color-scheme: dark) { .stats button.mis.show_mis { background: #4b1818; } }
-
 .stats button.exc { background: #f7f7f7; }
-
 @media (prefers-color-scheme: dark) { .stats button.exc { background: #333; } }
-
-.stats button.exc.show_exc { background: #eee; border-color: #808080; }
-
+.stats button.exc.show_exc { background: #eee; border: 2px solid #808080; margin: 0 .1em; }
 @media (prefers-color-scheme: dark) { .stats button.exc.show_exc { background: #333; } }
-
 .stats button.par { background: #ffffd5; }
-
 @media (prefers-color-scheme: dark) { .stats button.par { background: #650; } }
-
-.stats button.par.show_par { background: #ffa; border-color: #dddd00; }
-
+.stats button.par.show_par { background: #ffa; border: 2px solid #dddd00; margin: 0 .1em; }
 @media (prefers-color-scheme: dark) { .stats button.par.show_par { background: #650; } }
 
-.help_panel, #source p .annotate.long { display: none; position: absolute; z-index: 999; background: #ffffcc; border: 1px solid #888; border-radius: .2em; color: #333; padding: .25em .5em; }
+#source p .annotate.long, .help_panel { display: none; position: absolute; z-index: 999; background: #ffffcc; border: 1px solid #888; border-radius: .2em; color: #333; padding: .25em .5em; }
 
 #source p .annotate.long { white-space: normal; float: right; top: 1.75em; right: 1em; height: auto; }
 
 #keyboard_icon { float: right; margin: 5px; cursor: pointer; }
 
 .help_panel { padding: .5em; border: 1px solid #883; }
-
 .help_panel .legend { font-style: italic; margin-bottom: 1em; }
-
 .indexfile .help_panel { width: 20em; min-height: 4em; }
-
 .pyfile .help_panel { width: 16em; min-height: 8em; }
 
 #panel_icon { float: right; cursor: pointer; }
 
 .keyhelp { margin: .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; }
 
 #source { padding: 1em 0 1em 3rem; font-family: SFMono-Regular, Menlo, Monaco, Consolas, monospace; }
-
 #source p { position: relative; white-space: pre; }
-
 #source p * { box-sizing: border-box; }
-
 #source p .n { float: left; text-align: right; width: 3rem; box-sizing: border-box; margin-left: -3rem; padding-right: 1em; color: #999; }
-
 @media (prefers-color-scheme: dark) { #source p .n { color: #777; } }
-
 #source p .n a { text-decoration: none; color: #999; }
-
 @media (prefers-color-scheme: dark) { #source p .n a { color: #777; } }
-
 #source p .n a:hover { text-decoration: underline; color: #999; }
-
 @media (prefers-color-scheme: dark) { #source p .n a:hover { color: #777; } }
-
 #source p.highlight .n { background: #ffdd00; }
-
 #source p .t { display: inline-block; width: 100%; box-sizing: border-box; margin-left: -.5em; padding-left: 0.3em; border-left: 0.2em solid #fff; }
-
 @media (prefers-color-scheme: dark) { #source p .t { border-color: #1e1e1e; } }
-
 #source p .t:hover { background: #f2f2f2; }
-
 @media (prefers-color-scheme: dark) { #source p .t:hover { background: #282828; } }
-
 #source p .t:hover ~ .r .annotate.long { display: block; }
-
 #source p .t .com { color: #008000; font-style: italic; line-height: 1px; }
-
 @media (prefers-color-scheme: dark) { #source p .t .com { color: #6A9955; } }
-
 #source p .t .key { font-weight: bold; line-height: 1px; }
-
 #source p .t .str { color: #0451A5; }
-
 @media (prefers-color-scheme: dark) { #source p .t .str { color: #9CDCFE; } }
-
 #source p.mis .t { border-left: 0.2em solid #ff0000; }
-
 #source p.mis.show_mis .t { background: #fdd; }
-
 @media (prefers-color-scheme: dark) { #source p.mis.show_mis .t { background: #4b1818; } }
-
 #source p.mis.show_mis .t:hover { background: #f2d2d2; }
-
 @media (prefers-color-scheme: dark) { #source p.mis.show_mis .t:hover { background: #532323; } }
-
 #source p.run .t { border-left: 0.2em solid #00dd00; }
-
 #source p.run.show_run .t { background: #dfd; }
-
 @media (prefers-color-scheme: dark) { #source p.run.show_run .t { background: #373d29; } }
-
 #source p.run.show_run .t:hover { background: #d2f2d2; }
-
 @media (prefers-color-scheme: dark) { #source p.run.show_run .t:hover { background: #404633; } }
-
 #source p.exc .t { border-left: 0.2em solid #808080; }
-
 #source p.exc.show_exc .t { background: #eee; }
-
 @media (prefers-color-scheme: dark) { #source p.exc.show_exc .t { background: #333; } }
-
 #source p.exc.show_exc .t:hover { background: #e2e2e2; }
-
 @media (prefers-color-scheme: dark) { #source p.exc.show_exc .t:hover { background: #3c3c3c; } }
-
 #source p.par .t { border-left: 0.2em solid #dddd00; }
-
 #source p.par.show_par .t { background: #ffa; }
-
 @media (prefers-color-scheme: dark) { #source p.par.show_par .t { background: #650; } }
-
 #source p.par.show_par .t:hover { background: #f2f2a2; }
-
 @media (prefers-color-scheme: dark) { #source p.par.show_par .t:hover { background: #6d5d0c; } }
-
 #source p .r { position: absolute; top: 0; right: 2.5em; font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Ubuntu, Cantarell, "Helvetica Neue", sans-serif; }
-
 #source p .annotate { font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Ubuntu, Cantarell, "Helvetica Neue", sans-serif; color: #666; padding-right: .5em; }
-
 @media (prefers-color-scheme: dark) { #source p .annotate { color: #ddd; } }
-
 #source p .annotate.short:hover ~ .long { display: block; }
-
 #source p .annotate.long { width: 30em; right: 2.5em; }
-
 #source p input { display: none; }
-
 #source p input ~ .r label.ctx { cursor: pointer; border-radius: .25em; }
-
 #source p input ~ .r label.ctx::before { content: "▶ "; }
-
 #source p input ~ .r label.ctx:hover { background: #d5f7ff; color: #666; }
-
 #source p input:checked ~ .r label.ctx { background: #aaeeff; color: #666; border-radius: .75em .75em 0 0; padding: 0 .5em; margin: -.25em 0; }
-
 #source p input:checked ~ .r label.ctx::before { content: "▼ "; }
-
 #source p input:checked ~ .ctxs { padding: .25em .5em; overflow-y: scroll; max-height: 10.5em; }
-
 #source p label.ctx { color: #999; display: inline-block; padding: 0 .5em; font-size: .8333em; }
-
 @media (prefers-color-scheme: dark) { #source p label.ctx { color: #777; } }
-
 #source p .ctxs { display: block; max-height: 0; overflow-y: hidden; transition: all .2s; padding: 0 .5em; font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Ubuntu, Cantarell, "Helvetica Neue", sans-serif; white-space: nowrap; background: #aaeeff; border-radius: .25em; margin-right: 1.75em; }
-
 #source p .ctxs span { display: block; text-align: right; }
 
-#index { font-family: SFMono-Regular, Menlo, Monaco, Consolas, monospace; font-size: 0.875em; }
-
+#index { font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Ubuntu, Cantarell, "Helvetica Neue", sans-serif; font-size: 0.875em; }
 #index td, #index th { text-align: right; width: 5em; padding: .25em .5em; border-bottom: 1px solid #eee; }
-
 @media (prefers-color-scheme: dark) { #index td, #index th { border-color: #333; } }
-
 #index td.left, #index th.left { padding-left: 0; }
-
 #index td.right, #index th.right { padding-right: 0; }
-
 #index td.name, #index th.name { text-align: left; width: auto; }
-
 #index th { font-style: italic; color: #333; cursor: pointer; }
-
 @media (prefers-color-scheme: dark) { #index th { color: #ddd; } }
-
 #index th:hover { background: #eee; }
-
 @media (prefers-color-scheme: dark) { #index th:hover { background: #333; } }
-
 #index th.headerSortDown, #index th.headerSortUp { white-space: nowrap; background: #eee; }
-
 @media (prefers-color-scheme: dark) { #index th.headerSortDown, #index th.headerSortUp { background: #333; } }
-
 #index th.headerSortDown:after { content: " ↓"; }
-
 #index th.headerSortUp:after { content: " ↑"; }
-
 #index td.name a { text-decoration: none; color: inherit; }
-
 #index tr.total td, #index tr.total_dynamic td { font-weight: bold; border-top: 1px solid #ccc; border-bottom: none; }
-
 #index tr.file:hover { background: #eee; }
-
 @media (prefers-color-scheme: dark) { #index tr.file:hover { background: #333; } }
-
 #index tr.file:hover td.name { text-decoration: underline; color: inherit; }
 
 #scroll_marker { position: fixed; right: 0; top: 0; width: 16px; height: 100%; background: #fff; border-left: 1px solid #eee; will-change: transform; }
-
 @media (prefers-color-scheme: dark) { #scroll_marker { background: #1e1e1e; } }
-
 @media (prefers-color-scheme: dark) { #scroll_marker { border-color: #333; } }
-
 #scroll_marker .marker { background: #ccc; position: absolute; min-height: 3px; width: 100%; }
-
 @media (prefers-color-scheme: dark) { #scroll_marker .marker { background: #444; } }

coverage/htmlfiles/style.scss

@@ -164,11 +164,11 @@ a.nav {
 }
 
 .indexfile #footer {
-    margin: 1em 3em;
+    margin: 1rem 3rem;
 }
 
 .pyfile #footer {
-    margin: 1em 1em;
+    margin: 1rem 1rem;
 }
 
 #footer .content {
@@ -179,12 +179,12 @@ a.nav {
 }
 
 #index {
-    margin: 1em 0 0 3em;
+    margin: 1rem 0 0 3rem;
 }
 
 // Header styles
 #header .content {
-    padding: 1em $left-gutter;
+    padding: 1rem $left-gutter;
 }
 
 h1 {
@@ -218,11 +218,11 @@ h2.stats {
 .stats button {
     font-family: inherit;
     font-size: inherit;
-    border: 2px solid;
-    border-radius: .1em;
+    border: 1px solid;
+    border-radius: .2em;
     color: inherit;
     padding: .1em .5em;
-    margin: 0 .1em;
+    margin: 1px calc(.1em + 1px);
     cursor: pointer;
     border-color: $light-gray3;
     @include border-color-dark($dark-gray3);
@@ -236,7 +236,8 @@ h2.stats {
         &.show_run {
             background: $light-run-bg;
             @include background-dark($dark-run-bg);
-            border-color: $run-color;
+            border: 2px solid $run-color;
+            margin: 0 .1em;
         }
     }
     &.mis {
@@ -245,7 +246,8 @@ h2.stats {
         &.show_mis {
             background: $light-mis-bg;
             @include background-dark($dark-mis-bg);
-            border-color: $mis-color;
+            border: 2px solid $mis-color;
+            margin: 0 .1em;
         }
     }
     &.exc {
@@ -254,7 +256,8 @@ h2.stats {
         &.show_exc {
             background: $light-exc-bg;
             @include background-dark($dark-exc-bg);
-            border-color: $exc-color;
+            border: 2px solid $exc-color;
+            margin: 0 .1em;
         }
     }
     &.par {
@@ -263,7 +266,8 @@ h2.stats {
         &.show_par {
             background: $light-par-bg;
             @include background-dark($dark-par-bg);
-            border-color: $par-color;
+            border: 2px solid $par-color;
+            margin: 0 .1em;
         }
     }
 }
@@ -569,7 +573,7 @@ $context-panel-color: #aaeeff;
 
 // index styles
 #index {
-    font-family: $font-code;
+    font-family: $font-normal;
     font-size: 0.875em;
 
     td, th {