diff options
author | Ricardo Wurmus <rekado@elephly.net> | 2021-12-09 18:39:22 +0100 |
---|---|---|
committer | Ricardo Wurmus <rekado@elephly.net> | 2021-12-09 18:39:22 +0100 |
commit | 599da59a269932b29491956a75b4ac35e78c76c8 (patch) | |
tree | ee37aa4cd378d61fd1268e87cbf91ade66ec49c2 /assets/css/screen.css | |
parent | bf59bcc34690cb320e18782ca8e13fec33e57298 (diff) |
css: Show line anchors only in browsers supporting CSS.
Diffstat (limited to 'assets/css/screen.css')
-rw-r--r-- | assets/css/screen.css | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/assets/css/screen.css b/assets/css/screen.css index 790a8b3..f493990 100644 --- a/assets/css/screen.css +++ b/assets/css/screen.css @@ -177,11 +177,14 @@ table { } a.line-anchor { - margin-left: -2em; - padding-right: 2em; position: absolute; visibility: hidden; } +a.line-anchor:before { + content: "# "; + margin-left: -2em; + padding-right: 2em; +} div.line:hover a.line-anchor { visibility: visible; |