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
|
pre { padding:5px; background-color:#e0e0e0;
overflow: auto;
}
body {
background: white;
margin: 2px;
padding-left: 3em;
padding-right: 3em;
}
.note {
border: 2px inset gray;
padding: 0.5em;
margin-right: 2em;
margin-left: 2em;
}
#footer {
margin-top: 2em;
border-top-style: inset;
border-top-width: 2px;
}
#header {
text-align: left;
border-top: 1px none black;
border-collapse: collapse;
border-bottom: 1px dotted black;
margin-bottom: 1em;
}
#navigation li {
display: inline;
border-right-style: dotted;
border-right-width: 1px;
border-left-style: dotted;
border-left-width: 1px;
border-collapse: collapse;
padding-right: 0.25em;
padding-left: 0.25em;
margin-right: 1em;
}
#navigation {
text-align: center;
}
#timestamp {
font-size: 80%;
text-align: right;
}
a.none { text-decoration: none; color:black }
a.none:visited { text-decoration: none; color:black }
a.none:active { text-decoration: none; color:black }
a.none:hover { text-decoration: none; color:black }
a { text-decoration: none; }
a:visited { text-decoration: none; }
a:active { text-decoration: underline; }
a:hover { text-decoration: underline; }
.note {
}
.windows {
}
/* @group toc */
.table-of-contents {
font-size: 90%;
}
.table-of-contents h1, h2, h3, h4, h5, h6, h7 {
font-size: inherit;
}
.table-of-contents h2 {
position: relative;
left: 2em;
}
.table-of-contents h3 {
position: relative;
left: 4em;
}
.table-of-contents h4 {
position: relative;
left: 6em;
}
.table-of-contents h5 {
position: relative;
left: 8px;
}
/* @end */
|
