style.css


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86

:root {
    --light: #eee;
    --dark: #1c1c1c;
    /*--highlight: #ff3a21*/
    --highlight: #f5ae2e;
}

body {
    color: var(--light);
    background: var(--dark);
    font: 1.3em monospace;
    text-size-adjust: auto;
}

h1 {
    font: 1.0em monospace;
    font-weight: bold;
    text-align: left;
    text-size-adjust: auto;
    margin-bottom: 0;
}

h2 {
    font: 1.0em monospace;
    font-weight: bold;
    text-align: left;
    text-size-adjust: auto;
    margin-bottom: 0;
    margin-top: 3em;
}

a {
    color: var(--highlight);
}

a:hover {
    color: var(--dark);
    background: var(--highlight);
    text-decoration: none;
}
    
ul {
    list-style: none;
}

li:before {
    content: '* ';
}

pre {
	border-width: 0 0 0 2px;
	border-style: solid;
	border-color: var(--highlight);
	background: black;
	padding: 6px;
	border-radius: 2px;
}

code {
    background: black;
    padding: 0 6px;
    border-radius: 4px;
}

pre code {
	padding: 0;
}

#content {
    max-width: 40em;
    margin: auto;
}

#navigation {
    text-align: center;
}

#navigation pre {
	border: none;
	background: var(--dark);
}

.centered {
    text-align: center;
}