1#main {
2  margin-left: auto;
3  margin-right: auto;
4  max-width: 55em;
5  text-align: justify;
6}
7
8h2 {
9  font-family: monospace;
10  margin-bottom: 2em;
11  background-color: #b2c9db;
12  padding: 7px;
13  border-radius: 7px;
14}
15
16ol {
17  list-style: none;
18  margin-bottom: 4em;
19}
20
21li a {
22  color: black;
23}
24
25li.header {
26  margin-top: 1em;
27  margin-bottom: 0.3em;
28  font-weight: bold;
29}
30
31div.decl p:first-child {
32  margin-top: 2.5em;
33}
34
35div.decl p:first-child .first-word {
36  font-weight: bold;
37  font-family: monospace;
38}
39
40.sectionpreamble {
41  margin-top: 5em;
42}
43
44.sectionpreamble p:first-child {
45  font-weight: bold;
46  font-size: 1.5em;
47}
48
49.section pre {
50  background-color: #b2c9db;
51  padding: 5px;
52  border-radius: 5px;
53}
54
55td {
56  padding: 2px;
57}
58
59tr:nth-child(even) {
60  background-color: #eee;
61}
62
63tr.header td {
64  font-weight: bold;
65  padding-top: 1em;
66  padding-bottom: 0.5em;
67}
68