2021-03-11 18:53:14 +01:00
|
|
|
* {
|
|
|
|
box-sizing: border-box;
|
|
|
|
}
|
|
|
|
body {
|
|
|
|
display: grid;
|
|
|
|
grid-template-rows: auto 1fr auto;
|
2021-05-17 17:39:55 +02:00
|
|
|
|
2022-01-30 10:18:31 +01:00
|
|
|
font-family: -apple-system, BlinkMacSystemFont,
|
|
|
|
"Segoe UI", "Roboto", "Oxygen", "Ubuntu", "Cantarell",
|
|
|
|
"Fira Sans", "Droid Sans", "Helvetica Neue",
|
|
|
|
sans-serif;
|
2021-05-17 17:39:55 +02:00
|
|
|
|
2021-08-16 10:59:26 +02:00
|
|
|
font-feature-settings: "kern" 1;
|
|
|
|
font-kerning: normal;
|
2021-03-11 18:53:14 +01:00
|
|
|
}
|
2021-09-01 14:58:57 +02:00
|
|
|
#main {
|
2022-01-30 10:18:31 +01:00
|
|
|
padding-left:1em;
|
|
|
|
padding-right:1em;
|
2022-10-12 21:43:33 +02:00
|
|
|
scrollbar-gutter: stable both-edges;
|
2021-09-01 14:58:57 +02:00
|
|
|
}
|
2021-05-17 17:39:55 +02:00
|
|
|
p {
|
2021-03-11 18:53:14 +01:00
|
|
|
text-align: justify;
|
2021-05-17 17:39:55 +02:00
|
|
|
hyphens: auto;
|
|
|
|
text-justify: inter-character;
|
2021-08-16 10:59:26 +02:00
|
|
|
overflow-wrap: anywhere;
|
2021-03-11 18:53:14 +01:00
|
|
|
}
|
2022-07-16 11:30:59 +02:00
|
|
|
pre,code {
|
|
|
|
white-space: pre-wrap;
|
|
|
|
}
|
2021-03-11 18:53:14 +01:00
|
|
|
nav#TableOfContents ul {
|
|
|
|
padding: 0;
|
|
|
|
list-style-type: none;
|
2021-04-01 00:01:51 +02:00
|
|
|
}
|
|
|
|
nav#TableOfContents ul li ul {
|
|
|
|
padding-left:1em;
|
|
|
|
}
|
|
|
|
nav#TableOfContents ul li ul li ul {
|
|
|
|
padding-left:2em;
|
|
|
|
}
|
|
|
|
nav#TableOfContents ul li ul li ul li ul {
|
|
|
|
padding-left:3em;
|
2021-03-11 18:53:14 +01:00
|
|
|
}
|
2021-05-17 17:39:55 +02:00
|
|
|
h1, h2, h3, h4, h5 {
|
2021-05-18 18:06:46 +02:00
|
|
|
font-family: open, serif;
|
2021-05-17 17:39:55 +02:00
|
|
|
}
|
2021-03-11 18:53:14 +01:00
|
|
|
@media only screen and (min-width: 60rem) {
|
|
|
|
body {
|
|
|
|
max-width:60rem;
|
|
|
|
margin-left: auto;
|
|
|
|
margin-right: auto;
|
|
|
|
}
|
|
|
|
}
|
2021-09-12 14:03:45 +02:00
|
|
|
.fullwidth {
|
|
|
|
width: 100%;
|
|
|
|
}
|
2022-07-25 00:31:54 +02:00
|
|
|
img[src*='#center'] {
|
|
|
|
display: block;
|
|
|
|
margin: auto;
|
|
|
|
}
|