fix(html): fix a few problems with the html report

- highlights weren't showing

- anchored lines were not visible

- some j/k motions were broken

- clicking the big buttons at the top didn't work

1 files changed, 9 insertions, 9 deletions

diff --git a/coverage/htmlfiles/style.scss b/coverage/htmlfiles/style.scss
index 775cdcb6..e4826f31 100644
--- a/coverage/htmlfiles/style.scss
+++ b/coverage/htmlfiles/style.scss
@@ -395,11 +395,6 @@ $border-indicator-width: .2em;
     font-family: $font-code;
 
     p {
-        // These two lines make anchors to the line scroll the line to be
-        // visible beneath the fixed-position header.
-        margin-top: -4em;
-        padding-top: 4em;
-
         // position relative makes position:absolute pop-ups appear in the right place.
         position: relative;
         white-space: pre;
@@ -418,7 +413,16 @@ $border-indicator-width: .2em;
             color: $light-gray4;
             @include color-dark($dark-gray4);
 
+            &.highlight {
+                background: #ffdd00;
+            }
+
             a {
+                // These two lines make anchors to the line scroll the line to be
+                // visible beneath the fixed-position header.
+                margin-top: -4em;
+                padding-top: 4em;
+
                 text-decoration: none;
                 color: $light-gray4;
                 @include color-dark($dark-gray4);
@@ -430,10 +434,6 @@ $border-indicator-width: .2em;
             }
         }
 
-        &.highlight .n {
-            background: #ffdd00;
-        }
-
         .t {
             display: inline-block;
             width: 100%;