style.css (867B) download
1@import url('https://fonts.googleapis.com/css2?family=Source+Code+Pro:wght@400;700&display=swap');
2
3body {
4 background: #eee;
5 color: #222;
6}
7
8body.dark {
9 background: #222;
10 color: #eee;
11}
12
13#toggle_dark {
14 background: #3c3836;
15 color: #eee;
16 cursor: pointer;
17}
18
19.dark #toggle_dark {
20 background: #eee;
21 color: #3c3836;
22}
23
24a {
25 color: inherit;
26 text-decoration: underline;
27}
28
29a:hover {
30 font-weight: bold;
31}
32
33.title {
34 color: #772121;
35 font-weight: bold;
36 text-decoration: none;
37 font-size: 14pt;
38}
39
40.title:hover {
41 text-decoration: underline;
42}
43
44.dark .title {
45 color: #ba3333;
46}
47
48#wrapper {
49 overflow-x: hidden;
50 width: 80ch;
51 font: 12pt 'Source Code Pro', monospace;
52 margin: 20px auto;
53 white-space: pre-wrap;
54}
55
56#github {
57 height: 1em;
58}
59
60.list {
61 text-indent: -2ch;
62 padding-left: 2ch;
63}
64
65.header .title {
66 float:left;
67}
68
69.header .right {
70 float: right;
71}