2024-05-27 12:40:56 +02:00
|
|
|
---
|
|
|
|
# front-matter
|
|
|
|
---
|
|
|
|
|
|
|
|
@charset "utf-8";
|
|
|
|
|
2024-05-31 20:31:07 +02:00
|
|
|
// Apparently my Android understands system-ui, but not ui-serif, so for the
|
|
|
|
// best experience, I will permit fallback, even if it will be sans-serif.
|
|
|
|
// I imagine it's a small minority and most users will get either ui-serif
|
|
|
|
// or fallback further down the fallback list, perhaps all the way to serif.
|
|
|
|
$base-font-family: ui-serif, system-ui, "Liberation Serif", Tinos,
|
2024-06-01 18:57:42 +02:00
|
|
|
"Times New Roman", serif, emoji;
|
2024-05-30 16:46:53 +02:00
|
|
|
$monospace-font-family: ui-monospace, "Liberation Mono", Cousine,
|
2024-06-02 06:10:09 +02:00
|
|
|
"Courier New", monospace, emoji;
|
2024-05-30 16:46:53 +02:00
|
|
|
|
2024-05-27 12:40:56 +02:00
|
|
|
@import "{{ site.theme }}";
|
|
|
|
|
|
|
|
:root {
|
|
|
|
color-scheme: dark light !important;
|
|
|
|
}
|
|
|
|
|
|
|
|
* {
|
|
|
|
// box-sizing: border-box !important;
|
|
|
|
color: revert !important;
|
|
|
|
background-color: revert !important;
|
|
|
|
//margin: auto !important;
|
|
|
|
// line-height: 1.2 !important;
|
|
|
|
// A4 paper
|
2024-05-30 09:46:44 +02:00
|
|
|
//max-width: 210mm !important;
|
2024-05-27 12:40:56 +02:00
|
|
|
font-size: revert;
|
|
|
|
//padding: auto !important;
|
2024-05-29 08:30:45 +02:00
|
|
|
overflow-wrap: break-word !important;
|
2024-05-30 06:39:04 +02:00
|
|
|
hyphens: auto !important;
|
2024-06-01 18:57:42 +02:00
|
|
|
// Experimental trick to make all emojis text if supported.
|
|
|
|
font-variant-emoji: text;
|
2024-05-27 12:40:56 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
a {
|
|
|
|
text-decoration: underline !important;
|
|
|
|
}
|
|
|
|
|
|
|
|
pre,
|
|
|
|
code {
|
|
|
|
font-size: 0.8em !important;
|
|
|
|
}
|
|
|
|
|
|
|
|
img {
|
|
|
|
border-radius: 50% !important;
|
2024-05-27 19:53:56 +02:00
|
|
|
display: block;
|
|
|
|
margin-left: auto !important;
|
|
|
|
margin-right: auto !important;
|
2024-05-27 13:12:49 +02:00
|
|
|
@media (min-width: 395px) {
|
2024-05-27 19:53:56 +02:00
|
|
|
display: float !important;
|
2024-05-27 13:12:49 +02:00
|
|
|
float: right !important;
|
|
|
|
}
|
2024-05-27 12:40:56 +02:00
|
|
|
}
|
2024-05-29 07:27:20 +02:00
|
|
|
|
2024-06-02 06:10:09 +02:00
|
|
|
ul.linklist {
|
|
|
|
list-style: none inside;
|
|
|
|
font-family: $monospace-font-family;
|
|
|
|
//font-variant: small-caps;
|
|
|
|
}
|
|
|
|
|
2024-05-29 07:27:20 +02:00
|
|
|
// Customize the dark theme to be more me
|
|
|
|
@media (prefers-color-scheme: dark) {
|
|
|
|
* {
|
|
|
|
color: #ffb700 !important;
|
|
|
|
border-color: #ffb700 !important;
|
|
|
|
background-color: #000000 !important;
|
|
|
|
}
|
|
|
|
|
|
|
|
.site-nav {
|
|
|
|
color-scheme: only dark !important;
|
|
|
|
color: #ffb700 !important;
|
|
|
|
background-color: #000000 !important;
|
|
|
|
color: #ffb700 !important;
|
|
|
|
}
|
|
|
|
|
|
|
|
// I don't want links to be restored to amber'
|
|
|
|
a {
|
|
|
|
color: revert !important;
|
|
|
|
}
|
|
|
|
}
|