From e6e946bbdbe9c0dd77134bafdb607b85b727abed Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=B6ren=20Weber?= <mail@soeren-weber.de>
Date: Thu, 7 Oct 2021 21:28:07 +0200
Subject: [PATCH] theme: remove runtime styles from print #111

---
 static/css/print.css | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/static/css/print.css b/static/css/print.css
index 89c63e899f..3ae4ef9ef8 100644
--- a/static/css/print.css
+++ b/static/css/print.css
@@ -41,13 +41,16 @@ pre {
     display: none;
 }
 
-#body h1, #body h2, #body h3, #body h4, #body h5, #body h6,
+#body h1, #body h2, #body h3, #body h4, #body h5, #body h6 {
+    /* better contrast for colored elements */
+    color: black !important;
+}
 #body th, #body td,
 #body code, #body strong, #body b,
 #body li, #body dd, #body dt,
 #body p,
 #body .anchor,
-#body a{
+#body a {
     /* better contrast for colored elements */
     color: black;
 }
@@ -99,4 +102,8 @@ hr{
 }
 #head-tags {
     display: none;
+}
+mark {
+    background: inherit;
+    color: inherit;
 }
\ No newline at end of file