diff options
| author | Hendrik Erz <[email protected]> | 2025-01-14 18:19:42 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2025-01-14 09:19:42 -0800 |
| commit | 0a2e8dd1d648df460e3dcb7361f1dc09b4ad3551 (patch) | |
| tree | a905b2d6d58a2626377c5e1783b4c486e1dfef45 /data | |
| parent | 244156c8ee94a9515daca76aacd80d6b33ff5a71 (diff) | |
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.
Diffstat (limited to 'data')
| -rw-r--r-- | data/templates/styles.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/data/templates/styles.html b/data/templates/styles.html index cd3b95958..9e253e3e1 100644 --- a/data/templates/styles.html +++ b/data/templates/styles.html @@ -130,8 +130,8 @@ pre code { overflow: visible; } hr { - background-color: #1a1a1a; border: none; + border-top: 1px solid #1a1a1a; height: 1px; margin: 1em 0; } |