2024-03-15 18:59:26 +01:00
|
|
|
* {
|
|
|
|
color: #101010;
|
|
|
|
}
|
|
|
|
|
|
|
|
a {
|
|
|
|
color: #1515A0;
|
|
|
|
}
|
|
|
|
a:visited {
|
|
|
|
color: #185113;
|
|
|
|
}
|
|
|
|
|
|
|
|
html {
|
|
|
|
background-color: #e5e3e0;
|
|
|
|
}
|
|
|
|
|
2023-09-02 19:23:36 +02:00
|
|
|
body {
|
2023-10-07 21:28:28 +02:00
|
|
|
margin: 0 auto;
|
2024-04-16 09:44:28 +02:00
|
|
|
width: 100%;
|
2023-10-07 21:28:28 +02:00
|
|
|
min-height: 100%;
|
2023-09-02 19:23:36 +02:00
|
|
|
}
|
2024-04-16 09:44:28 +02:00
|
|
|
@media screen and (min-width: 48rem) {
|
|
|
|
body {
|
|
|
|
width: 90%;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2023-09-02 19:23:36 +02:00
|
|
|
|
2023-10-07 21:28:28 +02:00
|
|
|
/* TODO: media query, use entire width on small viewports */
|
|
|
|
|
2023-09-02 19:23:36 +02:00
|
|
|
h1 {
|
|
|
|
text-align: center;
|
|
|
|
|
|
|
|
padding: 0;
|
|
|
|
padding-top: 0.8em;
|
|
|
|
padding-bottom: 0.5em;
|
|
|
|
|
2024-03-15 18:59:26 +01:00
|
|
|
border-bottom: 0.1em solid #101030;
|
2023-09-02 19:23:36 +02:00
|
|
|
|
|
|
|
margin: 0;
|
|
|
|
margin-bottom: 0.8em;
|
|
|
|
}
|
|
|
|
|
|
|
|
p, pre, ul {
|
|
|
|
padding: 0;
|
|
|
|
|
|
|
|
margin-top: 0;
|
|
|
|
margin-left: auto;
|
|
|
|
margin-right: auto;
|
|
|
|
margin-bottom: 0.9em;
|
|
|
|
|
2024-04-16 09:44:28 +02:00
|
|
|
width: 98%;
|
2023-09-02 19:23:36 +02:00
|
|
|
max-width: 720px;
|
|
|
|
|
|
|
|
list-style-position: inside;
|
|
|
|
list-style-type: disclosure-closed;
|
|
|
|
}
|
2024-04-16 09:44:28 +02:00
|
|
|
@media screen and (min-width: 48rem) {
|
|
|
|
p, ul {
|
|
|
|
width: 80%;
|
|
|
|
}
|
|
|
|
}
|
2023-09-02 19:23:36 +02:00
|
|
|
|
|
|
|
li ul {
|
|
|
|
margin-left: 2em;
|
|
|
|
width: 100%;
|
|
|
|
}
|
|
|
|
|
|
|
|
p {
|
|
|
|
text-align: justify;
|
|
|
|
}
|
|
|
|
|
|
|
|
p.light {
|
|
|
|
/* TODO: include a font that supports different weights */
|
|
|
|
font-weight: lighter;
|
|
|
|
font-style: italic;
|
|
|
|
}
|
|
|
|
|
|
|
|
p.strong {
|
|
|
|
font-weight: bold;
|
|
|
|
}
|
|
|
|
|
|
|
|
p.heavy {
|
|
|
|
/* TODO: include a font that supports different weights */
|
|
|
|
font-weight: bolder;
|
|
|
|
}
|
|
|
|
|
2023-10-07 21:28:28 +02:00
|
|
|
p.copyright {
|
|
|
|
position: relative;
|
|
|
|
margin-bottom: 0;
|
|
|
|
text-align: center;
|
|
|
|
font-size: 0.8em;
|
|
|
|
color: gray;
|
|
|
|
bottom: 2px;
|
|
|
|
}
|
|
|
|
|
2023-09-02 19:23:36 +02:00
|
|
|
pre {
|
2024-04-16 09:44:28 +02:00
|
|
|
max-width: 80ch;
|
2024-01-09 08:42:58 +01:00
|
|
|
font-size: 0.9rem;
|
2024-04-16 09:44:28 +02:00
|
|
|
overflow: scroll;
|
|
|
|
|
|
|
|
/*
|
|
|
|
Workaround for extending off screen on small viewports bc I cba
|
|
|
|
to figure it out properly
|
|
|
|
*/
|
|
|
|
width: 90%;
|
|
|
|
}
|
|
|
|
@media screen and (min-width: 48rem) {
|
|
|
|
pre {
|
|
|
|
/*
|
|
|
|
Get rid of scrollbars on browsers that show them regardless of
|
|
|
|
whether the content fits on screen or not
|
|
|
|
*/
|
|
|
|
overflow: visible;
|
|
|
|
}
|
2023-09-02 19:23:36 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
pre.terminal {
|
|
|
|
color: #B5E550;
|
|
|
|
background-color: #3F3F3F;
|
2024-03-15 18:59:26 +01:00
|
|
|
border: 1px solid #101030;
|
2023-09-02 19:23:36 +02:00
|
|
|
|
|
|
|
padding: 1em;
|
|
|
|
}
|
|
|
|
|
|
|
|
pre.paper {
|
|
|
|
/* TODO: typewriter-look? */
|
|
|
|
/* TODO: tractor feed ribbons? */
|
|
|
|
background-color: #F0E6CE;
|
2024-03-15 18:59:26 +01:00
|
|
|
border: 1px solid #101030;
|
2023-09-02 19:23:36 +02:00
|
|
|
|
|
|
|
padding: 1em;
|
|
|
|
padding-bottom: 0em;
|
|
|
|
}
|
|
|
|
|
2023-10-13 18:42:58 +02:00
|
|
|
span.paper.green {
|
2023-09-02 19:23:36 +02:00
|
|
|
background-color: #D0DBA6;
|
|
|
|
}
|
|
|
|
|
2023-10-16 19:15:52 +02:00
|
|
|
span.quote.speech {
|
2023-09-06 18:22:58 +02:00
|
|
|
color: #303030;
|
|
|
|
}
|
2023-10-16 19:15:52 +02:00
|
|
|
span.quote.speech::before {
|
2024-03-15 18:59:26 +01:00
|
|
|
color: #101030;
|
2023-09-06 18:22:58 +02:00
|
|
|
content: "\25b8";
|
2023-09-22 21:54:11 +02:00
|
|
|
font-size: 0.75em;
|
|
|
|
position: relative;
|
|
|
|
bottom: 0.15em;
|
2023-09-06 18:22:58 +02:00
|
|
|
}
|
2023-10-16 19:15:52 +02:00
|
|
|
span.quote.speech::after {
|
2024-03-15 18:59:26 +01:00
|
|
|
color: #101030;
|
2023-09-06 18:22:58 +02:00
|
|
|
content: "\25c2";
|
2023-09-22 21:54:11 +02:00
|
|
|
font-size: 0.75em;
|
|
|
|
position: relative;
|
|
|
|
bottom: 0.15em;
|
2023-09-06 18:22:58 +02:00
|
|
|
}
|
|
|
|
|
2023-10-16 19:15:52 +02:00
|
|
|
span.quote.non-speech {
|
2023-09-06 18:22:58 +02:00
|
|
|
color: #303030;
|
|
|
|
}
|
2023-10-18 18:24:06 +02:00
|
|
|
span.quote.non-speech::before {
|
2024-03-15 18:59:26 +01:00
|
|
|
color: #101030;
|
2023-09-06 18:22:58 +02:00
|
|
|
content: "\25b9";
|
2023-09-22 21:54:11 +02:00
|
|
|
font-size: 0.75em;
|
|
|
|
position: relative;
|
|
|
|
bottom: 0.15em;
|
2023-09-06 18:22:58 +02:00
|
|
|
}
|
2023-10-18 18:24:06 +02:00
|
|
|
span.quote.non-speech::after {
|
2024-03-15 18:59:26 +01:00
|
|
|
color: #101030;
|
2023-09-06 18:22:58 +02:00
|
|
|
content: "\25c3";
|
2023-09-22 21:54:11 +02:00
|
|
|
font-size: 0.75em;
|
|
|
|
position: relative;
|
|
|
|
bottom: 0.15em;
|
2023-09-06 18:22:58 +02:00
|
|
|
}
|
|
|
|
|
2023-10-13 18:10:24 +02:00
|
|
|
/*TODO: Remove and replace with speech/non-speech where appropriate*/
|
2023-10-16 19:15:52 +02:00
|
|
|
span.quote.thought {
|
2023-10-13 18:10:24 +02:00
|
|
|
color: red;
|
|
|
|
/*color: #303030;*/
|
|
|
|
}
|
2023-10-16 19:15:52 +02:00
|
|
|
span.quote.thought::before {
|
2023-10-13 18:10:24 +02:00
|
|
|
color: red;
|
|
|
|
content: "\25b9";
|
|
|
|
font-size: 0.75em;
|
|
|
|
position: relative;
|
|
|
|
bottom: 0.15em;
|
|
|
|
}
|
2023-10-16 19:15:52 +02:00
|
|
|
span.quote.thought::after {
|
2023-10-13 18:10:24 +02:00
|
|
|
color: red;
|
|
|
|
content: "\25c3";
|
|
|
|
font-size: 0.75em;
|
|
|
|
position: relative;
|
|
|
|
bottom: 0.15em;
|
|
|
|
}
|
2024-03-15 18:59:26 +01:00
|
|
|
span.chapter {
|
|
|
|
color: inherit;
|
|
|
|
}
|
2023-12-06 18:11:28 +01:00
|
|
|
span.chapter::before {
|
|
|
|
content: "\25b9";
|
|
|
|
font-size: 0.75em;
|
|
|
|
position: relative;
|
|
|
|
bottom: 0.15em;
|
|
|
|
}
|
|
|
|
span.chapter::after {
|
|
|
|
content: "\25c3";
|
|
|
|
font-size: 0.75em;
|
|
|
|
position: relative;
|
|
|
|
bottom: 0.15em;
|
|
|
|
}
|
2023-10-13 18:10:24 +02:00
|
|
|
|
2023-09-23 11:12:00 +02:00
|
|
|
button.back {
|
|
|
|
font-size: 2.8em;
|
|
|
|
width: 1.3em;
|
|
|
|
height: 1.3em;
|
|
|
|
position: fixed;
|
|
|
|
top: 0.4em;
|
|
|
|
}
|
|
|
|
|
2023-09-02 19:23:36 +02:00
|
|
|
.comment {
|
|
|
|
font-style: italic;
|
|
|
|
color: gray;
|
|
|
|
}
|