235
|
1 @import(docutils.css);
|
|
2
|
|
3 html, body { height: 100%; margin: 0; padding: 0; }
|
|
4 html, body { background: #4b4d4d url(bkgnd_pattern.png); color: #000; }
|
|
5 body, th, td {
|
|
6 font: normal small Verdana,Arial,'Bitstream Vera Sans',Helvetica,sans-serif;
|
|
7 }
|
|
8 pre, code, tt { font-size: medium; }
|
|
9 h1, h2, h3, h4 {
|
|
10 font-family: Arial,Verdana,'Bitstream Vera Sans',Helvetica,sans-serif;
|
|
11 font-weight: bold; letter-spacing: -0.018em;
|
|
12 }
|
|
13 h1 { font-size: 19px; margin: 2em 1em 0 0; }
|
|
14 h2 { font-size: 16px; }
|
|
15 h3 { font-size: 14px; }
|
|
16 hr { border: none; border-top: 1px solid #ccb; margin: 2em 0; }
|
|
17
|
|
18 :link, :visited { text-decoration: none; border-bottom: 1px dotted #bbb;
|
|
19 color: #b00;
|
|
20 }
|
|
21 :link:hover, :visited:hover { background-color: #eee; color: #555; }
|
|
22 :link img, :visited img { border: none }
|
|
23 h1 :link, h1 :visited ,h2 :link, h2 :visited, h3 :link, h3 :visited,
|
|
24 h4 :link, h4 :visited, h5 :link, h5 :visited, h6 :link, h6 :visited {
|
|
25 color: #000;
|
|
26 }
|
|
27
|
|
28 div.document { background: #fff url(shadow.gif) right top repeat-y;
|
|
29 border-left: 1px solid #000; margin: 0 auto 0 80px;
|
|
30 min-height: 100%; width: 54em; padding: 0 180px 1px 20px;
|
|
31 }
|
236
|
32 h1.title, div.document#genshi h1 { color: #666; font-size: x-large;
|
|
33 margin: 0 -20px 1em; padding: 2em 20px 0;
|
235
|
34 }
|
236
|
35 h1.title { background: url(vertbars.png) repeat-x; }
|
|
36 div.document#genshi h1.title { text-indent: -4000px; }
|
|
37 div.document#genshi h1 { text-align: center; }
|
235
|
38 pre.literal-block { background: #f7f7f7; border: 1px solid #d7d7d7;
|
|
39 margin: 1em 0; padding: .25em; overflow: auto;
|
|
40 }
|
|
41
|
|
42 div.contents { position: absolute; position: fixed; margin-left: 80px;
|
|
43 left: 57.3em; top: 30px; right: 0;
|
|
44 }
|
|
45 div.contents .topic-title { display: none; }
|
|
46 div.contents ul { list-style: none; padding-left: 0; }
|
|
47 div.contents :link, div.contents :visited { color: #c6c6c6; border: none;
|
|
48 display: block; padding: 3px 5px 3px 10px;
|
|
49 }
|
|
50 div.contents :link:hover, div.contents :visited:hover { background: #000;
|
|
51 color: #fff;
|
|
52 }
|