diff options
author | Ricardo Wurmus <rekado@elephly.net> | 2021-12-09 18:17:31 +0100 |
---|---|---|
committer | Ricardo Wurmus <rekado@elephly.net> | 2021-12-09 18:17:31 +0100 |
commit | bf59bcc34690cb320e18782ca8e13fec33e57298 (patch) | |
tree | 2b70012b3a5893009c71456df50253fae6a4cdea /assets/css | |
parent | 2594ba2523f76954e14c4abd3c6cacb10c066349 (diff) |
view: Add line anchors.
Diffstat (limited to 'assets/css')
-rw-r--r-- | assets/css/screen.css | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/assets/css/screen.css b/assets/css/screen.css index df8aec3..790a8b3 100644 --- a/assets/css/screen.css +++ b/assets/css/screen.css @@ -176,6 +176,17 @@ table { display: block; } +a.line-anchor { + margin-left: -2em; + padding-right: 2em; + position: absolute; + visibility: hidden; +} + +div.line:hover a.line-anchor { + visibility: visible; +} + a.message-anchor { display: block; position: relative; |