diff options
Diffstat (limited to 'coverage/htmlfiles/style.scss')
| -rw-r--r-- | coverage/htmlfiles/style.scss | 18 |
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%; |