Improve sections

2026-04-28 17:43:20 +02:00
parent 4415a391e2
commit adbe10fa41
6 changed files with 59 additions and 2 deletions
@@ -234,6 +234,15 @@ main {
    max-width: 100%;
 }

+.heading-anchor {
+    color: var(--text-muted);
+    margin-right: 0.4em;
+    font-weight: normal;
+}
+.heading-anchor:hover {
+    color: var(--primary-hover);
+}
+
 /* === File listing === */
 .listing {
    border: 1px solid var(--secondary);