Reduce page weight by simplifying line number anchors.

For large issues with many lines the DOM becomes littered with anchors
that slow down rendering significantly.  Dropping the anchor tags cuts
the page size in half and speeds up rendering.  We can still address
lines by their identifiers, but to act on clicks we need a little bit
of JavaScript.

1 files changed, 6 insertions, 5 deletions

diff --git a/assets/mumi.scss b/assets/mumi.scss
index 963ebd8..f2c6d07 100644
--- a/assets/mumi.scss
+++ b/assets/mumi.scss
@@ -344,17 +344,18 @@ details.search-hints summary:after{
     margin-left: 0;
 }
 
-a.line-anchor {
+div.line:before {
     position: absolute;
+    display: inline-block;
     visibility: hidden;
-}
-a.line-anchor:before {
     content: "# ";
     margin-left: -1em;
     padding-right: 1em;
+    text-align: right;
+    cursor: pointer;
+    color: $grey-300;
 }
-
-div.line:hover a.line-anchor {
+div.line:hover:before {
     visibility: visible;
 }