diff options
| -rw-r--r-- | assets/css/screen.css | 7 | ||||
| -rw-r--r-- | 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 '())) |