From fabbc007b21ba00246787b4ac83594faa59ee160 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Paul=20H=C3=A4nsch?= <paul@plutz.net>
Date: Fri, 11 Mar 2022 00:52:16 +0100
Subject: [PATCH] make hr tag visible again

---
 common.css | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/common.css b/common.css
index 71bead6..359f07d 100644
--- a/common.css
+++ b/common.css
@@ -44,6 +44,8 @@ ul, ol { margin-left: 1.125em; }
 dl dt { font-weight: bolder; }
 table th { font-weight: bold; }
 
+hr { border-bottom: 1pt solid; }
+
 h1, h2, h3 {
   font-weight: bold;
   margin-top: .75em;
-- 
2.39.2