docs: Increase contrast in dark theme for header/footer

This was flagged by one of those WCAG checkers, and there's no real
reason to introduce another color here.
This commit is contained in:
Fabian Homborg 2022-01-13 17:07:04 +01:00
parent 58cf5f249a
commit 7a3594d840

View File

@ -466,11 +466,11 @@ div.body .internal.reference:link {
} }
div.sphinxsidebar a, div.footer { div.sphinxsidebar a, div.footer {
color: #CCC; color: #DDD;
} }
div.sphinxsidebar h3 a, div.related a, div.sphinxsidebar h3 { div.sphinxsidebar h3 a, div.related a, div.sphinxsidebar h3, div.footer a {
color: #BBB; color: #DDD;
} }
.highlight { .highlight {
background: #000; background: #000;
@ -490,7 +490,7 @@ div.body .internal.reference:link {
} }
input { input {
background-color: #222; background-color: #222;
color: #BBB; color: #DDD;
} }
dt:target, span.highlighted { dt:target, span.highlighted {
@ -506,9 +506,6 @@ div.body .internal.reference:link {
div.body a { div.body a {
color: #2092fa; color: #2092fa;
} }
div.footer a {
color: #BBB;
}
/* Color based on the Name.Function (.nf) class from pygments.css. */ /* Color based on the Name.Function (.nf) class from pygments.css. */
.command { color: #008fd7 } .command { color: #008fd7 }