1html {
 2    font-family: Sans-serif;
 3}
 4
 5header {
 6    border-bottom: 4px solid darkgrey;
 7}
 8
 9header > nav > ul {
10    margin: 0.5rem 0;
11    padding: 0;
12}
13
14header > nav > ul > li {
15    display: inline-block;
16    margin: 0 1rem 0 0;
17}
18
19header > nav > ul > li > a {
20    color: black;
21    text-decoration: none;
22    font-weight: bold;
23}
24
25header > nav > ul > li > a:visited,
26header > nav > ul > li > a:hover {
27    color: black;
28}
29
30footer {
31    color: grey;
32    font-size: smaller;
33    border-top: 2px solid darkgrey;
34    padding-top: 0.25rem;
35}
36
37code {
38    font-size: larger;
39}
40
41p > code,
42li > code {
43    padding: 2px;
44    background-color: #f4f4f4;
45}
46
47pre {
48    border: 1px solid lightgray;
49    padding: 0.5rem;
50    border-radius: 0.5rem;
51}
52
53blockquote {
54    border-left: 0.25rem solid lightgray;
55    margin: 0 0 0 1rem;
56    padding: 0.25rem 0.25rem 0.25rem 1rem;
57    background-color: #f4f4f4;
58}
59
60.listing {
61    margin-top: 1rem;
62}
63
64.listing th,
65.listing td {
66    padding-right: 1rem;
67}
68
69.listing th {
70    text-align: left;
71}
72
73.listing td:nth-child(2),
74.listing th:nth-child(2) {
75    text-align: right;
76}