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
|
.navbar {
margin-top: 2em;
text-align: center;
}
h1 {
margin-bottom: 0px;
padding-bottom: 0px;
}
#subject {
font-style: italic;
margin-top: 0px;
padding-top: 0px;
}
#footer {
font-size: smaller;
margin-top: 2em;
}
#footer p {
padding: 0px;
margin: 0px;
}
#version {
margin-top: 2em;
font-size: smaller;
float: right;
}
code {
font-size: small;
margin-top: 0em;
white-space: pre;
font-family: monospace;
overflow: auto;
}
p + code {
margin-top: 0em;
}
/* To work around the block effect of using <pre> as well as <code> - more IE bugs */
pre {
display: block;
margin-top: 0px;
margin-bottom: 0px;
margin-left: 30px;
line-height: 100%;
}
* Paragraphs in tables are small */
table p {
margin: 0px;
}
/* Ordinary tables have borders. */
table {
border: 1px solid black;
}
td {
border: 1px solid black;
}
/* Nested tables do not. */
td table {
border: 0px;
}
td table td {
border: 0px;
}
/* Lists with paragraphs in them should not be spread out. */
li p {
margin: 0px;
}
.configOptions {
margin-left: 2em;
}
|
