2
* The stylesheet (based on the Sphinx default).
5
@import url("basic.css");
7
/* -- page layout ----------------------------------------------------------- */
10
font-family: 100% Verdana, Arial, Helvetica, sans-serif;
12
background-color: white;
19
background-color: white;
32
background-color: white;
34
padding: 0 20px 30px 20px;
37
/* "footer" contains the copyright notice and the Sphinx link. */
40
background-color: white;
49
text-decoration: underline;
52
/* "related" contains the title and the previous/next/modules/index links. */
54
background-color: white;
66
div.sphinxsidebar h3 {
67
font-family: 'Trebuchet MS', sans-serif;
75
div.sphinxsidebar h3 a {
79
div.sphinxsidebar h4 {
80
font-family: 'Trebuchet MS', sans-serif;
92
div.sphinxsidebar p.topless {
93
margin: 5px 10px 10px 10px;
96
div.sphinxsidebar ul {
102
div.sphinxsidebar a {
106
div.sphinxsidebar input {
107
border: 1px solid #4186cb;
108
font-family: sans-serif;
112
/* -- body styles ----------------------------------------------------------- */
116
text-decoration: none;
120
text-decoration: underline;
123
div.body p, div.body dd, div.body li {
131
border-left-width: 1px;
132
border-right-width: 1px;
133
border-top-width: 1px;
134
border-bottom-width: 2px;
136
background-color: #4186cb;
139
-moz-border-radius: 5px;
140
-webkit-border-radius: 5px;
141
-khtml-border-radius: 5px;
147
border-left-width: 1px;
148
border-right-width: 1px;
149
border-top-width: 1px;
150
border-bottom-width: 2px;
152
background-color: #4186cb;
155
-moz-border-radius: 5px;
156
-webkit-border-radius: 5px;
157
-khtml-border-radius: 5px;
162
text-decoration: none;
174
padding: 0 4px 0 4px;
175
text-decoration: none;
178
div.body p, div.body dd, div.body li {
183
div.admonition p.admonition-title + p {
195
div.admonition ul, div.admonition ol {
200
background-color: #eee;
201
border: 1px solid #ccc;
205
background-color: #ffc;
206
border: 1px solid #ff6;
210
background-color: #eee;
214
background-color: #ffe4e4;
215
border: 1px solid #f66;
222
p.admonition-title:after {
229
* Note that this isn't our standard "sun" colour which doesn't contrast
230
* too well with the pygments defaults.
232
background-color: #fff4c0;
235
border: 1px solid #ac9;
241
background-color: #ecf0f3;
242
padding: 0 1px 0 1px;