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

body {
	font-size: 9pt;
	color: #333;
	background-color: #fff;
	padding: 0;
	margin: 0;
	font-family: monospace;
	overflow: hidden;
}
body.frame {
	overflow: hidden;
	overflow-y: auto;
}
h2 {
	font-size: 14pt;
	margin: 0.5em 0;
}
#sidebar ul, #sidebar ul li {
	list-style: none;
	padding: 0;
	margin: 0;
}
#sidebar {
	background-color: inherit;
}
#sidebar a {
	padding: 5px 3px 5px 10px;
}
#sidebar a {
	display: block;
}
#sidebar a, #items h2 a {
	color: inherit;
}
div#items {
	padding: 0 15px;
}
body.noframe div#sidebar {
	position: fixed;
	top: 0;
	left: 0;
	width: 175px;
	height: 100%;
	overflow: hidden;
	overflow-y: auto;
	z-index: 999;
}
body.noframe div#items {
	left: 175px;
	position: absolute;
	height: 100%;
	top: 0;
	right: 0;
	overflow: auto;
}
body.noframe div#items.nosidebar {
	left: 0px;
}
body.frame #sidebar br {
	display: none;
}
body.frame .content {
	padding: 0 1em;
	font-family: sans;
	font-size: medium;
}