zig

commit 5581b60393cd03773945f773942a8dcfbaffb5e8 (tree)
parent f7784a081fb399025b579ee7e1337a414af16d49
Author: Loris Cro <kappaloris@gmail.com>
Date:   Fri,  2 Sep 2022 16:49:56 +0200

Merge pull request #12724 from alichraghi/patch-2

autodoc: highlight target line
Diffstat:
M
src/autodoc/render_source.zig
 | 
10
++++++++++

1 file changed, 10 insertions(+), 0 deletions(-)
diff --git a/src/autodoc/render_source.zig b/src/autodoc/render_source.zig
@@ -79,6 +79,16 @@ pub fn genHtml(
         \\        text-align: right;
         \\        color: #999;
         \\      }
+        \\      
+        \\      .line {
+        \\        width: 100%;
+        \\        display: inline-block;
+        \\      }
+        \\      .line:target {
+        \\        border-top: 1px solid #444;
+        \\        border-bottom: 1px solid #444;
+        \\        background: #333;
+        \\      }
         \\
         \\      @media (prefers-color-scheme: dark) {
         \\        body{