summaryrefslogtreecommitdiffabout
path: root/htdocs/style.css
Unidiff
Diffstat (limited to 'htdocs/style.css') (more/less context) (ignore whitespace changes)
-rw-r--r--htdocs/style.css5
1 files changed, 3 insertions, 2 deletions
diff --git a/htdocs/style.css b/htdocs/style.css
index 28aa8df..27721d4 100644
--- a/htdocs/style.css
+++ b/htdocs/style.css
@@ -1,50 +1,50 @@
1body { 1body {
2 font-family: sans-serif; 2 font-family: arial,helvetica, sans-serif;
3 font-size: 11pt; 3 font-size: 11pt;
4} 4}
5 5
6a:link, a:visited { 6a:link, a:visited {
7 text-decoration: none; 7 text-decoration: none;
8} 8}
9a:link:hover, a:visited:hover { 9a:link:hover, a:visited:hover {
10 text-decoration: underline; 10 text-decoration: underline;
11} 11}
12p { 12p {
13 margin: 1ex 1em; 13 margin: 1ex 1em;
14 text-indent: 2em; 14 text-indent: 2em;
15 text-align: justify; 15 text-align: justify;
16} 16}
17p.note { 17p.note {
18 margin-left: 10%; 18 margin-left: 10%;
19 border-width: 1px 1px 1px 6px; 19 border-width: 1px 1px 1px 6px;
20 border-color: gray gray gray #0000a0; 20 border-color: gray gray gray #0000a0;
21 border-style: solid solid solid double; 21 border-style: solid solid solid double;
22 padding: 1ex 1ex 1ex 2em; 22 padding: 1ex 1ex 1ex 2em;
23 font-size: 80%; 23 font-size: 80%;
24 background: #c0c0e0; 24 background: #c0c0e0;
25 color: #202020; 25 color: #202020;
26} 26}
27code a, 27code a,
28code { 28code {
29 color: #d04040; 29 color: #d04040;
30} 30}
31em { 31em {
32 white-space: nowrap; 32 white-space: nowrap;
33} 33}
34 34
35div.google_ad { 35div.google_ad {
36 text-align: center; 36 text-align: center;
37 margin: 1ex; 37 margin: 1ex;
38} 38}
39div.google_ad.top { 39div.google_ad.top {
40 padding-bottom: 1ex; 40 padding-bottom: 1ex;
41 border-bottom: 1px gray solid; 41 border-bottom: 1px gray solid;
42} 42}
43div.google_ad.bottom { 43div.google_ad.bottom {
44 padding-top: 1ex; 44 padding-top: 1ex;
45 border-top: 1px gray solid; 45 border-top: 1px gray solid;
46} 46}
47 47
48div#sidepanel { 48div#sidepanel {
49 position: absolute; top: 0px; left: 0px; 49 position: absolute; top: 0px; left: 0px;
50 margin: 0px; 50 margin: 0px;
@@ -189,74 +189,75 @@ ul.sourcebrowser li.file a {
189ul.sourcebrowser li.file a:hover { 189ul.sourcebrowser li.file a:hover {
190 background: gray; 190 background: gray;
191 border: 1px solid black; 191 border: 1px solid black;
192 color: white; 192 color: white;
193} 193}
194 194
195div.prevnext { 195div.prevnext {
196 margin: 1ex; 196 margin: 1ex;
197} 197}
198div.prevnext a { 198div.prevnext a {
199 margin: 0.5ex 1em; padding: 0.2ex 0.5ex; 199 margin: 0.5ex 1em; padding: 0.2ex 0.5ex;
200 display: block; width: 30%; 200 display: block; width: 30%;
201 border: solid 1px gray; 201 border: solid 1px gray;
202 color: black; 202 color: black;
203 text-decoration: none; 203 text-decoration: none;
204} 204}
205div.prevnext a.prevnext-prev { 205div.prevnext a.prevnext-prev {
206 float: left; 206 float: left;
207 text-align: left; 207 text-align: left;
208} 208}
209div.prevnext a.prevnext-next { 209div.prevnext a.prevnext-next {
210 float: right; 210 float: right;
211 text-align: right; 211 text-align: right;
212} 212}
213div.prevnext a:hover { 213div.prevnext a:hover {
214 background: gray; 214 background: gray;
215 border: black 1px solid; 215 border: black 1px solid;
216 color: white; 216 color: white;
217 text-decoration: none; 217 text-decoration: none;
218} 218}
219 219
220ul.quickref.toc { 220ul.quickref.toc {
221 margin: 1em 20%; 221 margin: 1em 20%;
222 font-size: 90%; 222 font-size: 90%;
223 border: solid 1px gray; 223 border: solid 1px gray;
224} 224}
225 225
226dl.quickref { 226dl.quickref {
227 margin: 1ex 1em; 227 margin: 1ex 1em;
228 overflow: hidden; 228 overflow: hidden;
229} 229}
230dl.quickref dt { 230dl.quickref dt {
231 margin: 0.4ex; 231 margin: 0.4ex;
232 padding: 2px 0.5ex; 232 padding: 2px 0.5ex;
233 background: #e0e0e0; 233 background: #e0e0e0;
234 display: compact; 234 display: compact;
235} 235}
236dl.quickref dd { 236dl.quickref dd {
237 margin: 0px 0.4ex 0.4ex 10%; 237 margin: 0px 1% 0.4ex 10%;
238 width: 89%;
238 padding: 0px; 239 padding: 0px;
239 border: 1px solid gray; 240 border: 1px solid gray;
240 overflow: hidden; 241 overflow: hidden;
241} 242}
242dl.quickref code kbd { 243dl.quickref code kbd {
243 font-style: italic; 244 font-style: italic;
244 color: #0000c0; 245 color: #0000c0;
245} 246}
246dl.quickref blockquote { 247dl.quickref blockquote {
247 background: #ffffc0; 248 background: #ffffc0;
248 padding: 4px; 249 padding: 4px;
249 border: dotted 1px gray; 250 border: dotted 1px gray;
250 font-family: monospace; 251 font-family: monospace;
251 font-size: 90%; 252 font-size: 90%;
252 overflow: hidden; 253 overflow: hidden;
253} 254}
254dl.quickref blockquote em { 255dl.quickref blockquote em {
255 display: block; 256 display: block;
256 font-family: inherit !important; 257 font-family: inherit !important;
257 font-size: inherit !important; 258 font-size: inherit !important;
258 font-weight: inherit !important; 259 font-weight: inherit !important;
259 font-style: inherit !important; 260 font-style: inherit !important;
260 background: #ffc0c0; 261 background: #ffc0c0;
261 overflow: hidden; 262 overflow: hidden;
262} 263}