1p, li, td, th, h1, h2, h3 {
2	line-height: 1.6;
3}
4
5#control {
6	background-color: #eefaff;
7	border: 1px solid #3399ff;
8	border-collapse: collapse;
9	margin: 0px 0px 20px 0px;
10	width: 100%;
11}
12
13#control td {
14	padding: 3px;
15}
16
17#control_menu:link {
18	display: block;
19	width: 5em;
20	height: 20pt;
21	text-align: center;
22	line-height: 20pt;
23	color: #ffffff;
24	background-color: #3399ff;
25	position: fixed;
26	top: 0px;
27	right: 0px;
28}
29
30#control_menu:visited {
31	color: #ffffff;
32}
33
34#control_menu:hover {
35	color: #ffffff;
36	background-color: #0000ff;
37}
38
39.menu {
40	list-style-type: none;
41	margin: 0px;
42	padding: 0px;
43}
44
45.menu li {
46	display: inline;
47	padding: 0px 1em 0px 0px;
48}
49
50a:link {
51	color: #2244ff;
52	text-decoration: none;
53	font-family: monospace;
54}
55
56a:visited {
57	color: #2244ff;
58	text-decoration: none;
59}
60
61a:hover {
62	color: #ff3322;
63	text-decoration: underline;
64}
65
66a:active {
67	color: #ff3322;
68	text-decoration: underline;
69}
70
71#module_table {
72	border-collapse: collapse;
73	width: 100%;
74}
75
76#module_tbody td,
77#module_tbody th {
78	border: 1px solid #dddddd;
79	padding: 3px 20px;
80	vertical-align: top;
81}
82
83#module_tbody th {
84	background-color: #eeeeee;
85}
86
87#module_tbody h1,
88#module_tbody h2,
89#module_tbody p {
90	font-size: 100%;
91	margin: 0px;
92	padding: 0px;
93}
94
95#module_tbody ol,
96#module_tbody ul {
97	margin: .3em 0px;
98	padding: 0px 0px 0px 2em;
99}
100
101#module_tbody tr:target {
102	background-color: #fffff0;
103	transition: background-color 800ms ease;
104}
105
106#module_tbody p.module_src_dir {
107	font-family: monospace;
108	font-size: 80%;
109	color: #aaaaaa;
110}
111
112#no_module_placeholder {
113	font-style: italic;
114	font-family: sans-serif;
115	text-align: center;
116}
117