From 7c5857cba71b3ce9d926a5e0c35e1e8ae2032d03 Mon Sep 17 00:00:00 2001
From: Marty Sluijtman <marty.wanderer@disroot.org>
Date: Fri, 18 Aug 2023 11:52:54 +0200
Subject: [PATCH] No need to add h1 twice

---
 static/style.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/static/style.css b/static/style.css
index 565a947..d864842 100644
--- a/static/style.css
+++ b/static/style.css
@@ -21,7 +21,7 @@ a:hover{ color: var(--ansi00-hard); background-color: var(--ansi11); text-decora
 a:hover > code{ color: var(--ansi00-hard); background-color: var(--ansi11); text-decoration: none;}
 audio{ width: 100%; display: block; margin-top: 1em; }
 a.anchor{visibility:hidden; text-decoration: none;}
-h1:hover>a,h2:hover>a,h3:hover>a,h4:hover>a,h5:hover>a,h6:hover>a,h1:hover>a{visibility:visible;}
+h1:hover>a,h2:hover>a,h3:hover>a,h4:hover>a,h5:hover>a,h6:hover>a{visibility:visible;}
 main{  margin-left: 12em; margin-right: 1em; padding: 1em; border:1pt solid; margin-bottom: 1em;}
 main h1{border-bottom: 1pt solid;}
 main a h1 {border-bottom: transparent 0pt solid;}