docs/style_1.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

body {
	margin-left: 3%;
	background-color: #ccccFF;
	font-family: sans-serif;
}

h1 {
	text-align: center;
}

h2 {
	margin-left: -1%;
	font-size: 150%;
}

h3 {
	margin-left: -1%;
}

h4 {
	text-align: center;
}

p {
}

pre {
	font-family: monospace;
}

DD {
	font-family: monospace;
}