From: Paul Hänsch <paul@plutz.net>
Date: Thu, 10 Mar 2022 23:52:16 +0000 (+0100)
Subject: make hr tag visible again
X-Git-Url: https://git.plutz.net/?p=cgilite;a=commitdiff_plain;h=fabbc007b21ba00246787b4ac83594faa59ee160

make hr tag visible again
---

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;