doc-theme.css: fix scrolltop border effect

This commit is contained in:
Emmanuel Florent
2019-07-11 13:28:46 +02:00
parent 71a6b2765e
commit 8c6c065d96

View File

@@ -337,10 +337,6 @@ p {
/** this gives correct offset when link to anchors */
*[id]:before {
display: block;
content: " ";
margin-top: -75px;
height: 75px;
visibility: hidden;
html {
scroll-padding-top: 70px; /* height of sticky header */
}