2022-11-15 12:57:14 -08:00
|
|
|
html {
|
|
|
|
width: 100%;
|
|
|
|
height: 100%;
|
|
|
|
overflow: hidden;
|
|
|
|
font: 400 1.2em/1.4em var(--base-type);
|
|
|
|
}
|
|
|
|
|
|
|
|
html body {
|
|
|
|
background: var(--primary);
|
|
|
|
color: var(--secondary);
|
|
|
|
margin: 0;
|
|
|
|
padding: 0;
|
|
|
|
height: 100%;
|
|
|
|
width: 100%;
|
|
|
|
overflow-y: scroll;
|
|
|
|
overflow-x: hidden;
|
|
|
|
}
|
|
|
|
|
2022-12-30 14:41:49 -08:00
|
|
|
header {
|
|
|
|
width: 100%;
|
|
|
|
color: var(--primary);
|
|
|
|
background: var(--secondary);
|
|
|
|
}
|
|
|
|
|
|
|
|
header > nav {
|
|
|
|
display: grid;
|
2023-01-12 15:43:54 -08:00
|
|
|
grid-template-columns: 1fr 1fr;
|
2022-12-30 14:41:49 -08:00
|
|
|
padding: 10px;
|
|
|
|
}
|
|
|
|
|
2023-01-17 15:54:59 -08:00
|
|
|
header > nav a {
|
|
|
|
color: var(--primary);
|
|
|
|
}
|
|
|
|
|
2023-01-08 14:28:25 -08:00
|
|
|
header > nav i {
|
|
|
|
font-size: 1.3em;
|
|
|
|
}
|
|
|
|
|
2022-12-30 14:41:49 -08:00
|
|
|
header > nav > div[role="nav-right"] {
|
|
|
|
text-align: right;
|
|
|
|
}
|
|
|
|
|
2023-01-12 15:43:54 -08:00
|
|
|
div[role="system-notice"] {
|
|
|
|
background: var(--highlight);
|
|
|
|
color: var(--primary);
|
|
|
|
padding: 10px;
|
|
|
|
}
|
|
|
|
|
|
|
|
main {
|
|
|
|
height: 100%;
|
|
|
|
}
|
|
|
|
|
2022-11-15 12:57:14 -08:00
|
|
|
/* GLOBALS */
|
|
|
|
|
|
|
|
a {
|
2023-01-17 15:54:59 -08:00
|
|
|
color: var(--highlight);
|
2022-11-15 12:57:14 -08:00
|
|
|
text-decoration: none;
|
2022-12-30 14:41:49 -08:00
|
|
|
border-bottom: 1px solid var(--white);
|
2022-11-15 12:57:14 -08:00
|
|
|
transition: all 0.2s linear;
|
|
|
|
}
|
|
|
|
|
2023-01-12 15:43:54 -08:00
|
|
|
a[role="nav-links"] {
|
|
|
|
padding: 7px;
|
|
|
|
border-bottom: none;
|
|
|
|
}
|
|
|
|
|
2022-11-15 12:57:14 -08:00
|
|
|
a:hover {
|
2023-01-17 15:54:59 -08:00
|
|
|
border-bottom: 1px solid var(--secondary);
|
2022-11-15 12:57:14 -08:00
|
|
|
}
|
|
|
|
|
2023-05-07 13:50:12 -07:00
|
|
|
pre {
|
|
|
|
white-space: pre;
|
|
|
|
background: var(--secondary);
|
|
|
|
}
|
|
|
|
|
|
|
|
code {
|
|
|
|
background: var(--secondary);
|
|
|
|
color: var(--primary);
|
|
|
|
padding: 3px;
|
|
|
|
}
|
|
|
|
|
2022-11-15 12:57:14 -08:00
|
|
|
sup {
|
|
|
|
background: var(--black);
|
|
|
|
color: var(--white);
|
2022-12-30 14:41:49 -08:00
|
|
|
padding: 2px;
|
2022-11-15 12:57:14 -08:00
|
|
|
border-radius: 3px;
|
2023-01-03 16:08:50 -08:00
|
|
|
vertical-align: baseline;
|
|
|
|
font-family: var(--mono-type);
|
2022-11-15 12:57:14 -08:00
|
|
|
}
|