make hr tag visible again

diff --git a/common.css b/common.css
index 71bead6e26485069ff5c4cfc0ca17cd4a87bea69..359f07d138b7ef91f1441a2738dd1352bbefecb6 100644 (file)
--- 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; }
 
 dl dt { font-weight: bolder; }
 table th { font-weight: bold; }
 

+hr { border-bottom: 1pt solid; }
+

 h1, h2, h3 {
   font-weight: bold;
   margin-top: .75em;
 h1, h2, h3 {
   font-weight: bold;
   margin-top: .75em;