2022-11-15 21:57:14 +01: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 23:41:49 +01:00
|
|
|
header {
|
|
|
|
width: 100%;
|
|
|
|
color: var(--primary);
|
|
|
|
background: var(--secondary);
|
|
|
|
}
|
|
|
|
|
|
|
|
header > nav {
|
|
|
|
display: grid;
|
2023-01-13 00:43:54 +01:00
|
|
|
grid-template-columns: 1fr 1fr;
|
2022-12-30 23:41:49 +01:00
|
|
|
padding: 10px;
|
|
|
|
}
|
|
|
|
|
2023-01-18 00:54:59 +01:00
|
|
|
header > nav a {
|
|
|
|
color: var(--primary);
|
|
|
|
}
|
|
|
|
|
2023-01-08 23:28:25 +01:00
|
|
|
header > nav i {
|
|
|
|
font-size: 1.3em;
|
|
|
|
}
|
|
|
|
|
2022-12-30 23:41:49 +01:00
|
|
|
header > nav > div[role="nav-right"] {
|
|
|
|
text-align: right;
|
|
|
|
}
|
|
|
|
|
2023-01-13 00:43:54 +01:00
|
|
|
div[role="system-notice"] {
|
|
|
|
background: var(--highlight);
|
|
|
|
color: var(--primary);
|
|
|
|
padding: 10px;
|
|
|
|
}
|
|
|
|
|
|
|
|
main {
|
|
|
|
height: 100%;
|
|
|
|
}
|
|
|
|
|
2022-11-15 21:57:14 +01:00
|
|
|
/* GLOBALS */
|
|
|
|
|
|
|
|
a {
|
2023-01-18 00:54:59 +01:00
|
|
|
color: var(--highlight);
|
2022-11-15 21:57:14 +01:00
|
|
|
text-decoration: none;
|
2022-12-30 23:41:49 +01:00
|
|
|
border-bottom: 1px solid var(--white);
|
2022-11-15 21:57:14 +01:00
|
|
|
transition: all 0.2s linear;
|
|
|
|
}
|
|
|
|
|
2023-01-13 00:43:54 +01:00
|
|
|
a[role="nav-links"] {
|
|
|
|
padding: 7px;
|
|
|
|
border-bottom: none;
|
|
|
|
}
|
|
|
|
|
2022-11-15 21:57:14 +01:00
|
|
|
a:hover {
|
2023-01-18 00:54:59 +01:00
|
|
|
border-bottom: 1px solid var(--secondary);
|
2022-11-15 21:57:14 +01:00
|
|
|
}
|
|
|
|
|
2023-05-07 22:50:12 +02:00
|
|
|
pre {
|
|
|
|
white-space: pre;
|
|
|
|
background: var(--secondary);
|
|
|
|
}
|
|
|
|
|
|
|
|
code {
|
|
|
|
background: var(--secondary);
|
|
|
|
color: var(--primary);
|
|
|
|
padding: 3px;
|
|
|
|
}
|
|
|
|
|
2022-11-15 21:57:14 +01:00
|
|
|
sup {
|
|
|
|
background: var(--black);
|
|
|
|
color: var(--white);
|
2022-12-30 23:41:49 +01:00
|
|
|
padding: 2px;
|
2022-11-15 21:57:14 +01:00
|
|
|
border-radius: 3px;
|
2023-01-04 01:08:50 +01:00
|
|
|
vertical-align: baseline;
|
|
|
|
font-family: var(--mono-type);
|
2022-11-15 21:57:14 +01:00
|
|
|
}
|