2
|
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 border-bottom: 1px solid #ccc;
|
|
11 font-family: Arial,Verdana,'Bitstream Vera Sans',Helvetica,sans-serif;
|
|
12 font-weight: bold; letter-spacing: -0.018em;
|
|
13 }
|
|
14 h1 { font-size: 19px; margin: 2em 0 .5em; }
|
|
15 h2 { font-size: 16px; margin: 1.5em 0 .5em; }
|
|
16 h3 { font-size: 14px; margin: 1.2em 0 .5em; }
|
|
17 hr { border: none; border-top: 1px solid #ccb; margin: 2em 0; }
|
|
18 p { margin: 0 0 1em; }
|
|
19
|
|
20 :link, :visited { text-decoration: none; border-bottom: 1px dotted #bbb;
|
|
21 color: #b00;
|
|
22 }
|
|
23 :link:hover, :visited:hover { background-color: #eee; color: #555; }
|
|
24 :link img, :visited img { border: none }
|
|
25 h1 :link, h1 :visited ,h2 :link, h2 :visited, h3 :link, h3 :visited,
|
|
26 h4 :link, h4 :visited, h5 :link, h5 :visited, h6 :link, h6 :visited {
|
|
27 color: #000;
|
|
28 }
|
|
29
|
|
30 div.document { background: #fff url(shadow.gif) right top repeat-y;
|
|
31 border-left: 1px solid #000; margin: 0 auto 0 40px;
|
|
32 min-height: 100%; width: 54em; padding: 0 180px 1px 20px;
|
|
33 }
|
|
34 h1.title, div.document#babel h1 { border: none; color: #666;
|
|
35 font-size: x-large; margin: 0 -20px 1em; padding: 2em 20px 0;
|
|
36 }
|
|
37 h1.title { background: url(vertbars.png) repeat-x; }
|
|
38 div.document#babel h1.title { text-indent: -4000px; }
|
|
39 div.document#babel h1 { text-align: center; }
|
|
40 pre.literal-block { background: #d7d7d7; border: 1px solid #e6e6e6; color: #000;
|
|
41 margin: 1em 1em; padding: .25em; overflow: auto;
|
|
42 }
|
|
43
|
|
44 div.contents { font-size: 90%; position: absolute; position: fixed;
|
|
45 margin-left: 80px; left: 60em; top: 30px; right: 0;
|
|
46 }
|
|
47 div.contents .topic-title { display: none; }
|
|
48 div.contents ul { list-style: none; padding-left: 0; }
|
|
49 div.contents :link, div.contents :visited { color: #c6c6c6; border: none;
|
|
50 display: block; padding: 3px 5px 3px 10px;
|
|
51 }
|
|
52 div.contents :link:hover, div.contents :visited:hover { background: #000;
|
|
53 color: #fff;
|
|
54 }
|
|
55
|
|
56 p.admonition-title { font-weight: bold; margin-bottom: 0; }
|
|
57 div.note, div.warning { font-style: italic; margin-left: 2em;
|
|
58 margin-right: 2em;
|
|
59 }
|