print: dark mode adjustments #175

This commit is contained in:
Sören Weber 2022-02-17 08:47:04 +01:00
parent 7825d11d0e
commit 4294453e6b
No known key found for this signature in database
GPG key ID: 07D17FF580AE7589

View file

@ -11,6 +11,9 @@ html,
body #body{ body #body{
font-size: 8.9pt; font-size: 8.9pt;
} }
body {
background-color: white;
}
pre code { pre code {
font-size: 8.3pt; font-size: 8.3pt;
} }
@ -60,6 +63,11 @@ pre {
/* better contrast for colored elements */ /* better contrast for colored elements */
color: black; color: black;
} }
#body pre,
#body code {
background-color: white;
border-color: #ddd;
}
hr{ hr{
border-bottom: 1px solid #ddd; border-bottom: 1px solid #ddd;
@ -111,4 +119,22 @@ mark {
} }
.mermaid > svg:hover { .mermaid > svg:hover {
border-color: transparent; border-color: transparent;
} }
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;
}