Commit 0cc75363 authored by Robert Speicher's avatar Robert Speicher

Fix header link anchors

parent 1108915f
...@@ -37,7 +37,9 @@ pre { ...@@ -37,7 +37,9 @@ pre {
position: relative; position: relative;
a.anchor { a.anchor {
display: none; // Setting `display: none` would prevent the anchor being scrolled to, so
// instead we set the height to 0 and it gets updated on hover.
height: 0;
} }
&:hover > a.anchor { &:hover > a.anchor {
......
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