From 0a2e8dd1d648df460e3dcb7361f1dc09b4ad3551 Mon Sep 17 00:00:00 2001
From: Hendrik Erz <hendrik@zettlr.com>
Date: Tue, 14 Jan 2025 18:19:42 +0100
Subject: [PATCH] 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.
---
 data/templates/styles.html | 2 +-
 test/writer.html4          | 2 +-
 test/writer.html5          | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/data/templates/styles.html b/data/templates/styles.html
index cd3b95958f1c..9e253e3e141d 100644
--- 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
index 65c98eadf9ed..4b46722670f5 100644
--- 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
index 57c4537a1bb8..4c77a1fe969d 100644
--- 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;
     }