diff options
Diffstat (limited to 'docs/stylesheets/extra.css')
| -rw-r--r-- | docs/stylesheets/extra.css | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/docs/stylesheets/extra.css b/docs/stylesheets/extra.css index 0d329d97..bf34cb9a 100644 --- a/docs/stylesheets/extra.css +++ b/docs/stylesheets/extra.css @@ -15,14 +15,6 @@ .md-header { background-color: #30323a; - box-shadow: 0 0 0.2rem #0000, 0 0.2rem 0.4rem #0000; - color: var(--md-primary-bg-color); - display: block; - left: 0; - position: sticky; - right: 0; - top: 0; - z-index: 4; } .md-typeset .twitter { |