doc-theme.css: fix scroll to anchor

This commit is contained in:
Emmanuel Florent
2019-07-08 16:26:28 +02:00
parent 7f04d4d772
commit 4f7157cdd5

View File

@@ -334,3 +334,13 @@ code {
p {
font-family: 'Space Mono';
}
/** this gives correct offset when link to anchors */
*[id]:before {
display: block;
content: " ";
margin-top: -75px;
height: 75px;
visibility: hidden;
}