2020-11-03 23:46:20 +00:00
|
|
|
@media (prefers-color-scheme: dark) {
|
2022-04-15 05:15:54 +00:00
|
|
|
/* I've been told that pure white on black is a bit harsh */
|
2020-12-13 05:05:25 +00:00
|
|
|
html {
|
2022-04-15 05:15:54 +00:00
|
|
|
color: #eee;
|
|
|
|
}
|
|
|
|
|
|
|
|
html,
|
|
|
|
.skip {
|
2021-06-27 02:35:49 +00:00
|
|
|
/* "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-22 15:53:11 +00:00
|
|
|
background-color: #0f0f0b;
|
2020-11-23 23:47:27 +00:00
|
|
|
}
|
2020-11-03 23:46:20 +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-22 15:53:11 +00:00
|
|
|
color: #ffeaba;
|
2020-11-23 23:47:27 +00:00
|
|
|
}
|
2020-11-03 23:46:20 +00:00
|
|
|
|
2020-12-16 07:18:18 +00:00
|
|
|
a:visited {
|
2022-04-22 15:53:11 +00:00
|
|
|
color: #ffe3f9;
|
2020-12-16 07:18:18 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
a:active {
|
2021-06-03 08:24:04 +00:00
|
|
|
color: #c80;
|
2020-11-23 23:47:27 +00:00
|
|
|
}
|
2020-12-13 05:05:25 +00:00
|
|
|
|
2022-04-11 03:41:35 +00:00
|
|
|
:not(pre) > code {
|
2022-04-14 01:19:49 +00:00
|
|
|
border-color: #555;
|
2020-11-23 23:47:27 +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 {
|
|
|
|
background-color: #222;
|
|
|
|
}
|
|
|
|
}
|
2020-11-03 23:46:20 +00:00
|
|
|
}
|