• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1:root {
2    color-scheme: light dark;
3}
4
5body {
6    margin: 5ex 10ex;
7    max-width: 80ex;
8    line-height: 1.5;
9    font-family: sans-serif;
10}
11
12h1, h2, h3 {
13    font-weight: normal;
14}
15
16pre, code {
17    font-family: x, monospace;
18}
19
20pre {
21    padding: 1ex;
22    background: #eee;
23    border: solid 1px #ddd;
24    min-width: 0;
25    font-size: 90%;
26}
27@media (prefers-color-scheme: dark) {
28  pre {
29    background: #333;
30    border: solid 1px #444;
31  }
32}
33
34code {
35    color: #007;
36}
37@media (prefers-color-scheme: dark) {
38  code {
39    color: #a7cec8;
40  }
41}
42
43div.chapter {
44    margin-top: 4em;
45    border-top: solid 2px black;
46}
47@media (prefers-color-scheme: dark) {
48  div.chapter {
49    border-top: solid 2px white;
50  }
51}
52
53p {
54    margin-top: 0;
55}
56