local.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
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

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;
  vertical-align: top;
  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;
}

.floatright {
	float: right;
}