2022-04-27 15:41:36 +00:00
|
|
|
/* The dark stylesheet is the only place we set custom colors besides
|
|
|
|
* border colors for inline text. Make sure the perceptual contrast
|
|
|
|
* stays within the ideal APCA ranges, not lower and preferably not
|
|
|
|
* higher either. */
|
2020-11-03 23:46:20 +00:00
|
|
|
@media (prefers-color-scheme: dark) {
|
2020-12-13 05:05:25 +00:00
|
|
|
html {
|
2022-04-27 15:41:36 +00:00
|
|
|
/* Pure white on black causes halation.
|
|
|
|
* "background" is short for a bunch of unnecessary CSS rules
|
2022-04-15 05:15:54 +00:00
|
|
|
* background-color is all I need */
|
2022-04-27 00:29:05 +00:00
|
|
|
background-color: #111;
|
2022-04-27 15:41:36 +00:00
|
|
|
/* Dimming the default text color is not the same as reducing screen
|
|
|
|
* brightness, since other colors in this stylesheet have brighter
|
|
|
|
* red and blue channels than the default text. */
|
|
|
|
color: #e9e9e9;
|
2022-04-23 22:35:08 +00:00
|
|
|
}
|
|
|
|
|
2022-05-07 05:28:06 +00:00
|
|
|
/* Small text needs higher contrast */
|
|
|
|
sup {
|
2022-05-19 20:21:10 +00:00
|
|
|
background-color: #000;
|
2022-05-07 05:28:06 +00:00
|
|
|
}
|
|
|
|
|
2022-04-14 01:19:49 +00:00
|
|
|
/* Only color <a> if it's a link; if href is empty, let it be. */
|
|
|
|
a:link {
|
2022-04-27 15:52:14 +00:00
|
|
|
color: #f1e7b2;
|
2020-11-23 23:47:27 +00:00
|
|
|
}
|
2020-11-03 23:46:20 +00:00
|
|
|
|
2022-05-19 20:21:10 +00:00
|
|
|
a:active {
|
|
|
|
color: #b93;
|
|
|
|
}
|
|
|
|
|
2020-12-16 07:18:18 +00:00
|
|
|
a:visited {
|
2022-04-27 15:41:36 +00:00
|
|
|
color: #fdf;
|
2020-11-23 23:47:27 +00:00
|
|
|
}
|
2022-03-31 00:44:39 +00:00
|
|
|
|
2022-05-19 20:21:10 +00:00
|
|
|
/* Small text needs higher contrast */
|
|
|
|
sup a:visited {
|
|
|
|
color: #ffe3ff;
|
2022-05-02 00:04:20 +00:00
|
|
|
}
|
|
|
|
|
2022-03-31 00:44:39 +00:00
|
|
|
/* stylelint-disable -- hasn't heard of "prefers-contrast" yet */
|
|
|
|
@media (prefers-contrast: less) {
|
|
|
|
/* stylelint-enable */
|
|
|
|
html {
|
2022-05-20 02:26:21 +00:00
|
|
|
background-color: #333;
|
2022-03-31 00:44:39 +00:00
|
|
|
}
|
|
|
|
}
|
2020-11-03 23:46:20 +00:00
|
|
|
}
|