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
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
|
body
{
color: rgb(0, 0, 64);
background-color: rgb(255, 248, 232);
}
address
{
text-align: right;
}
strong
{
background-color: rgb(0, 0, 0);
}
h1
{
color: rgb(128, 64, 16);
border-bottom: 3px solid rgb(128, 64, 16);
}
h1.space
{
margin-top: 2em;
}
h2
{
color: rgb(128, 64, 16);
border-bottom: 3px solid rgb(128, 64, 16);
}
pre.commandline
{
font-family: monospace;
white-space: pre;
border: none;
padding: 4px;
color: rgb(32, 32, 32);
background-image: none;
background-color: rgb(204, 192, 160);
}
pre.source
{
font-family: monospace;
white-space: pre;
border: none;
padding: 4px;
color: rgb(204, 204, 204);
background-image: none;
background-color: rgb(102, 102, 102);
}
pre.log
{
font-family: monospace;
white-space: pre;
border: none;
padding: 4px;
color: rgb(204, 204, 204);
background-image: none;
background-color: rgb(102, 102, 102);
}
div.center
{
text-align: center;
}
div.right
{
text-align: right;
}
div.title
{
font-family: Arial,sans-serif;
font-weight: bold;
text-align: center;
font-size: large;
margin-top: 2em;
margin-bottom: 2em;
}
|
