Commit 77bd328d authored by Nina's avatar Nina
Browse files

Use scroll-padding-top to prevent overlapping content

Otherwise content is hidden behind the sticky header.

closes #54
parent bcfca39c
Pipeline #41329 passed with stages
in 1 minute and 51 seconds
......@@ -30,6 +30,10 @@ $navbar-dropdown-item-hover-background-color: white;
src: url('/assets/fonts/DejaVuSansMono-webfont.woff')
html {
scroll-padding-top: 5.6rem; /* height of sticky header plus margins */
.navbar {
margin-bottom: 3em;
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment