src/doc/sphinx/_static/default.css (1447B) - raw
1 @import url("http://fonts.googleapis.com/css?family=Crimson+Text");
2 @import url("http://fonts.googleapis.com/css?family=Inconsolata");
3 @import url("http://fonts.googleapis.com/css?family=Nobile");
4
5 body {
6 font-family: sans-serif;
7 font-size: 0.9em;
8 line-height: 2.75ex;
9 }
10 img {
11 border: none;
12 }
13
14 div.document {
15 margin: 0 auto;
16 max-width: 95ex;
17 }
18 div.body {
19 margin-right: 27ex;
20 }
21 div.sidebar {
22 font-size: 0.9em;
23 width: 27ex;
24 margin-left: 80ex;
25 position: fixed;
26 }
27
28 dt {
29 margin-top: 1.5em;
30 }
31 dd {
32 margin-left: 1.5em;
33 }
34
35 pre {
36 background-color: #ffffd0;
37 padding: 0.5em 1em;
38 overflow: auto;
39 }
40
41 tt.xref {
42 font-weight: bold;
43 }
44 tt.descname {
45 font-weight: bold;
46 font-size: 1.2em;
47 }
48 dt:target, .highlighted {
49 background-color: #fbe54e;
50 }
51
52 div.sidebar h3 {
53 margin: 1em 0 0 0;
54 }
55 div.sidebar div.toc ul {
56 margin: 0;
57 padding: 0;
58 }
59 div.sidebar div.toc ul li {
60 margin: 0 0 0 1.25em;
61 padding: 0.5em 0 0 0;
62 line-height: 1.2em;
63 }
64 div.sidebar input[type=text] {
65 width: 17ex;
66 }
67
68 a.headerlink {
69 color: #aa0000;
70 text-decoration: none;
71 visibility: hidden;
72 padding-left: 0.35em;
73 }
74 h1:hover > a.headerlink,
75 h2:hover > a.headerlink,
76 h3:hover > a.headerlink,
77 h4:hover > a.headerlink,
78 h5:hover > a.headerlink,
79 h6:hover > a.headerlink,
80 dt:hover > a.headerlink {
81 visibility: visible;
82 }
83
84 div.admonition {
85 }
86 p.admonition-title {
87 font-weight: bold;
88 }