From bf59bcc34690cb320e18782ca8e13fec33e57298 Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus Date: Thu, 9 Dec 2021 18:17:31 +0100 Subject: view: Add line anchors. --- assets/css/screen.css | 11 +++++++++++ 1 file changed, 11 insertions(+) (limited to 'assets') 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; -- cgit v1.2.3