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
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
|
<?php
$leftbg = "#eee";
$headerbg = $leftbg;
$headerfg = "#666";
$headerborder = "#ccc";
$size = "10pt";
?>
body {
margin: 0px;
padding: 0px;
}
body, td, th, dd, dt, h1, h2, h3, h4, h5, h6, p, ol, ul, li {
font-family: helvetica,arial,sans-serif;
}
#content {
min-width: 256px;
max-width: 600px;
padding: 9pt;
background: white;
font-size: <?=$size?>;
}
#columns {
margin-top: 0px;
margin-bottom: 9pt;
border-top: 1px solid black;
border-bottom: 1px solid black;
width: 100%;
}
#rightcolumn {
border-left: 1px dashed black;
}
/** left column **/
#leftcolumn {
margin-top: 20px;
background: <?=$leftbg?>;
padding: 5px;
width: 150px;
}
#navtree {
width: 130;
font-size: <?=$size?>;
}
#list {
padding-left: 1.3em;
}
#list ol {
margin: 0px 0px 0px 8px;
padding: 0px;
}
#list li {
text-indent: 0px;
}
#root {
margin-bottom: 1em;
}
/** edit controls **/
#controls {
width: 100%;
text-align: center;
font-size: <?=$size?>;
}
#controls ol {
margin-left: 0;
padding-left: 0;
display: inline;
}
#controls ol li {
margin-left: 0;
list-style: none;
display: inline;
}
#controls a {
text-decoration: none;
}
#controls ol li:before {
content: "| ";
color: #000;
}
#controls ol li.first:before {
content: "";
}
#breadcrumbs {
font-size: <?=$size?>;
text-align: right;
}
#breadcrumbs a {
text-decoration: none;
}
#recent_changes { width: 100%; }
#recent_changes span.path {
color: green;
}
#recent_changes td {
padding-left: 15px;
}
#recent_changes tr.daybreak {
background: #eee;
color: #333;
}
#recent_changes tr.daybreak td { padding-left: 4px; }
h1,h2,h3,h4 {
color: <?=$headerfg?>;
}
h1 {text-align: center}
h2 {
background: <?=$headerbg?>;
border-bottom: <?=$headerborder?> 2px solid;
padding-left: 4px;
}
h3 {
background: <?=$headerbg?>;
padding-left: 4px;
}
.shade {
background: #FFF6DD;
border: solid 1px;
border-color: #AAA688 #DDD6CC #DDD6CC #AAA688;
padding: 2px;
font-size: <?=$size?>;
}
.code {
overflow: auto;
font-size: <?=$size?>;
}
code {
font-family: monospace;
}
div#lang {text-align: center; padding-top: 2em;}
div#lang select {font-size: 7pt;}
|
