HTML styles: fix style of hr so it works when printed (#10535)

Previously `background-color` was used to style the hr, but this gets ignored when printing. This commit uses `border-top` instead.
jgm · Jan 14, 2025 · 0a2e8dd · 0a2e8dd
1 parent 244156c
commit 0a2e8dd
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/data/templates/styles.html b/data/templates/styles.html
@@ -130,8 +130,8 @@
  overflow: visible;
 }
 hr {
-  background-color: #1a1a1a;
   border: none;
+  border-top: 1px solid #1a1a1a;
   height: 1px;
   margin: 1em 0;
 }

diff --git a/test/writer.html4 b/test/writer.html4
@@ -110,8 +110,8 @@
      overflow: visible;
     }
     hr {
-      background-color: #1a1a1a;
       border: none;
+      border-top: 1px solid #1a1a1a;
       height: 1px;
       margin: 1em 0;
     }

diff --git a/test/writer.html5 b/test/writer.html5
@@ -110,8 +110,8 @@
      overflow: visible;
     }
     hr {
-      background-color: #1a1a1a;
       border: none;
+      border-top: 1px solid #1a1a1a;
       height: 1px;
       margin: 1em 0;
     }