2021-07-03 01:29:43 -07:00
|
|
|
@import 'colors';
|
|
|
|
|
2022-11-13 23:51:04 -08:00
|
|
|
html {
|
|
|
|
max-width: 70ch;
|
|
|
|
padding: 3em 1em;
|
|
|
|
margin: auto;
|
|
|
|
line-height: 1.75;
|
|
|
|
font-size: 1.25em;
|
|
|
|
}
|
|
|
|
|
2021-07-03 01:29:43 -07:00
|
|
|
a {
|
2023-05-23 23:33:39 -07:00
|
|
|
text-decoration: underline;
|
2021-07-03 01:29:43 -07:00
|
|
|
|
|
|
|
@media (prefers-color-scheme: dark) {
|
|
|
|
color: @dark-primary;
|
|
|
|
|
|
|
|
&:visited {
|
|
|
|
color: darken(@dark-primary, 10%);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
@media (prefers-color-scheme: light) {
|
|
|
|
color: @light-primary;
|
|
|
|
|
|
|
|
&:visited {
|
|
|
|
color: darken(@light-primary, 10%);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
&:hover {
|
|
|
|
text-decoration: underline;
|
|
|
|
}
|
|
|
|
|
|
|
|
img {
|
|
|
|
border: none;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
body {
|
|
|
|
border: 0;
|
|
|
|
font-family: "PT Sans", "Liberation Sans", "DejaVu Sans", "Tahoma", "Verdana", "Arial", sans-serif;
|
|
|
|
|
|
|
|
@media (prefers-color-scheme: dark) {
|
|
|
|
background-color: @dark-background;
|
|
|
|
color: @dark-foreground;
|
|
|
|
}
|
|
|
|
|
|
|
|
@media (prefers-color-scheme: light) {
|
|
|
|
background-color: @light-background;
|
|
|
|
color: @light-foreground;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2022-11-13 23:51:04 -08:00
|
|
|
h1, h2, h3, h4, h5, h6 {
|
|
|
|
margin: 3em 0 1em;
|
|
|
|
}
|
|
|
|
|
2021-07-03 01:29:43 -07:00
|
|
|
h1 {
|
|
|
|
font-size: 1.6rem;
|
|
|
|
}
|
|
|
|
|
|
|
|
h2 {
|
|
|
|
font-size: 1.5rem;
|
|
|
|
}
|
|
|
|
|
|
|
|
h3 {
|
|
|
|
font-size: 1.4rem;
|
|
|
|
}
|
|
|
|
|
|
|
|
h4 {
|
|
|
|
font-size: 1.3rem;
|
|
|
|
font-weight: bold;
|
|
|
|
}
|
|
|
|
|
|
|
|
h5 {
|
|
|
|
font-size: 1.2rem;
|
|
|
|
font-weight: bold;
|
|
|
|
}
|
|
|
|
|
|
|
|
h6 {
|
|
|
|
font-size: 1.1rem;
|
|
|
|
font-weight: bold;
|
|
|
|
}
|
|
|
|
|
|
|
|
pre {
|
|
|
|
font-family: "Fantasque Sans Mono", "PT Mono", "Liberation Mono", "DejaVu Sans Mono", "Courier new", monospace;
|
|
|
|
font-size: 14pt;
|
|
|
|
line-height: 100%;
|
|
|
|
}
|
2022-07-19 09:42:47 -07:00
|
|
|
|
|
|
|
p { margin: 0; }
|
2022-11-13 23:51:04 -08:00
|
|
|
|
|
|
|
p, ul, ol, dl {
|
|
|
|
margin-bottom: 2em;
|
|
|
|
}
|