From 4294453e6b2225bf36a2dec6a30d943af1006fd6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=B6ren=20Weber?= Date: Thu, 17 Feb 2022 08:47:04 +0100 Subject: [PATCH] print: dark mode adjustments #175 --- static/css/print.css | 28 +++++++++++++++++++++++++++- 1 file changed, 27 insertions(+), 1 deletion(-) diff --git a/static/css/print.css b/static/css/print.css index a591711c3d..5fbaa6108a 100644 --- a/static/css/print.css +++ b/static/css/print.css @@ -11,6 +11,9 @@ html, body #body{ font-size: 8.9pt; } +body { + background-color: white; +} pre code { font-size: 8.3pt; } @@ -60,6 +63,11 @@ pre { /* better contrast for colored elements */ color: black; } +#body pre, +#body code { + background-color: white; + border-color: #ddd; +} hr{ border-bottom: 1px solid #ddd; @@ -111,4 +119,22 @@ mark { } .mermaid > svg:hover { border-color: transparent; -} \ No newline at end of file +} +div.box { + border: 1px solid #ddd; +} +div.box > .box-content { + background-color: white; +} +.btn-default, +#body .tab-nav-button { + color: black !important; +} +#body .tab-nav-button.active { + background-color: white !important; + border-bottom-color: white !important; + color: black; +} +#body .tab-nav-button:not(.active) { + opacity: 1; +}