blob: 291ea5bc1291cb80a5281dda9a88ceba7f97d062 (
plain)
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
|
body {
font-family: Verdana, "Bitstream Vera Sans", sans-serif;
font-size: medium;
}
h1, h2, h3, h4 {
font-weight: normal;
}
h1 { font-size: 140%; }
h2 { font-size: 120%; }
h3 { font-size: 110%; }
h4 { font-size: 105% }
.header {
color: black;
border: thin solid black;
padding: 3px;
background:#ADD8E6
}
.toc {
float: right;
border:thin solid #aaaaaa;
}
.toc ol {
font-size: small;
padding-left: 2.5em;
padding-right: 0.5em;
}
a:visited {
color: #A9A9A9 !important;
text-decoration: underline !important;
}
a:link {
color: black !important;
text-decoration: underline !important;
}
.parentlinks a {
color: black !important;
text-decoration: none !important;
}
.parentlinks a:visited:hover {
color: black !important;
text-decoration: underline !important;
}
#searchform div:before {
font-size: small;
content: "search:";
}
#searchform input {
border-top: none;
border-bottom: none;
vertical-align: bottom;
margin-right: 7px;
}
input {
border: solid 1px;
border-color: #aaa;
}
.pageheader .actions ul {
border-left: 1px solid #000;
border-right: 1px solid #000;
border-bottom: 1px solid #000;
font-size: small;
}
#content {
padding-left: 1em;
padding-right: 1em;
}
.pagefooter {
font-size: small;
}
#backlinks {
padding: 0.5em;
border: 1px solid #000;
}
|