From 599da59a269932b29491956a75b4ac35e78c76c8 Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus Date: Thu, 9 Dec 2021 18:39:22 +0100 Subject: css: Show line anchors only in browsers supporting CSS. --- assets/css/screen.css | 7 +++++-- mumi/web/view/utils.scm | 2 +- 2 files changed, 6 insertions(+), 3 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; diff --git a/mumi/web/view/utils.scm b/mumi/web/view/utils.scm index ea5b8c6..0a43b06 100644 --- a/mumi/web/view/utils.scm +++ b/mumi/web/view/utils.scm @@ -183,7 +183,7 @@ numbers with the given MESSAGE-NUMBER." message-number line-number)) (href ,(format #false "#~a-lineno~a" message-number line-number))) - "#"))) + ""))) (lambda (new-blocks new-context) `(#:blocks ,new-blocks #:context ,new-context)))) (list #:blocks (list (make-block 'text '())) -- cgit v1.2.3