diff options
Diffstat (limited to 'coverage/htmlfiles/style.scss')
-rw-r--r-- | coverage/htmlfiles/style.scss | 61 |
1 files changed, 33 insertions, 28 deletions
diff --git a/coverage/htmlfiles/style.scss b/coverage/htmlfiles/style.scss index b6a7a155..95511e70 100644 --- a/coverage/htmlfiles/style.scss +++ b/coverage/htmlfiles/style.scss @@ -161,6 +161,7 @@ header { background: $light-gray1; @include background-dark(black); width: 100%; + z-index: 2; border-bottom: 1px solid $light-gray3; @include border-color-dark($dark-gray2); @@ -168,8 +169,37 @@ header { padding: 1rem $left-gutter; } - .littlehead & { - visibility: hidden; + h2 { + margin-top: .5em; + font-size: 1em; + } + + &.sticky { + position: fixed; + left: 0; + right: 0; + height: 2.5em; + + .text { + display: none; + } + + h1, h2 { + font-size: 1em; + margin-top: 0; + display: inline-block; + } + + .content { + padding: .5rem $left-gutter; + p { + font-size: 1em; + } + } + + & ~ #source { + padding-top: 6.5em; + } } } @@ -197,27 +227,6 @@ footer .content { margin: 1rem 0 0 $left-gutter; } -#sticky_header { - display: none; - position: fixed; - z-index: 2; - left: 0; - right: 0; - background: $light-gray1; - border-bottom: 1px solid $light-gray3; - - .content { - padding: .5rem $left-gutter; - p { - font-size: 1em; - } - } - - .littlehead & { - display: block; - } -} - // Header styles h1 { @@ -244,11 +253,7 @@ h1 { } } -h2.stats { - margin-top: .5em; - font-size: 1em; -} -.stats button { +header button { font-family: inherit; font-size: inherit; border: 1px solid; |