From 30e85c9c805897fe445d4a0fe09aaf90955fef34 Mon Sep 17 00:00:00 2001
From: Ali Chraghi <63465728+alichraghi@users.noreply.github.com>
Date: Fri, 2 Sep 2022 19:11:34 +0430
Subject: [PATCH] autodoc: highlight target line

---
 src/autodoc/render_source.zig | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/src/autodoc/render_source.zig b/src/autodoc/render_source.zig
index cafed8d526..ce3ded927f 100644
--- 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{