diff options
1 files changed, 17 insertions, 0 deletions
| -rw-r--r-- | docs/css/docs.css | 17 |
diff --git a/docs/css/docs.css b/docs/css/docs.css index 0cf55d1..b1162e8 100644 --- a/docs/css/docs.css +++ b/docs/css/docs.css @@ -99,6 +99,23 @@ .docs-content header { padding-top: 6rem; } +.docs-content header:hover .anchor { + height: auto; + width: auto; +} +.docs-content .anchor { + height: 0; + margin-left: -1em; + overflow: hidden; + position: absolute; + width: 0; +} +.docs-content .anchor:focus, +.docs-content .anchor:hover { + height: auto; + text-decoration: none; + width: auto; +} .docs-content .notes { margin: 4rem 0; } |