/* This needs to be called last, as it modifies. */

.navbar, .title {width:calc(100vw - 32px);}
.sticky {position:fixed; top:0; width:100%; background:white;}
.backlinks {margin-top:0.5em;}

body {padding-top:6em;}
.anchor[id],span.anchor[id],strong {padding-top:6.5em; margin-top:-6.5em;}

@media (max-width:725px) {
 body {padding-top:7em;}
 .anchor[id],span.anchor[id] {padding-top:7.5em; margin-top:-7.5em;}
 }

@media (max-width:637px) {
 body {padding-top:7.5em;}
 .anchor[id],span.anchor[id] {padding-top:8em; margin-top:-8em;}
 }

@media (max-width:550px) {
 body {padding-top:8em;}
 .anchor[id],span.anchor[id] {padding-top:8.5em; margin-top:-8.5em;}
 }