5 * Sphinx stylesheet -- default theme.
7 * :copyright: Copyright 2007-2013 by the Sphinx team, see AUTHORS.
8 * :license: BSD, see LICENSE for details.
12 @import url("basic.css");
14 /* -- page layout ----------------------------------------------------------- */
17 font-family: sans-serif;
19 background-color: #11303d;
26 background-color: #1c4e63;
39 background-color: #ffffff;
41 padding: 0 20px 30px 20px;
54 text-decoration: underline;
58 background-color: #133f52;
70 div.sphinxsidebar h3 {
71 font-family: 'Trebuchet MS', sans-serif;
79 div.sphinxsidebar h3 a {
83 div.sphinxsidebar h4 {
84 font-family: 'Trebuchet MS', sans-serif;
96 div.sphinxsidebar p.topless {
97 margin: 5px 10px 10px 10px;
100 div.sphinxsidebar ul {
106 div.sphinxsidebar a {
110 div.sphinxsidebar input {
111 border: 1px solid #98dbcc;
112 font-family: sans-serif;
118 /* -- hyperlink styles ------------------------------------------------------ */
122 text-decoration: none;
127 text-decoration: none;
131 text-decoration: underline;
136 /* -- body styles ----------------------------------------------------------- */
144 font-family: 'Trebuchet MS', sans-serif;
145 background-color: #f2f2f2;
148 border-bottom: 1px solid #ccc;
149 margin: 20px -20px 10px -20px;
150 padding: 3px 0 3px 10px;
153 div.body h1 { margin-top: 0; font-size: 200%; }
154 div.body h2 { font-size: 160%; }
155 div.body h3 { font-size: 140%; }
156 div.body h4 { font-size: 120%; }
157 div.body h5 { font-size: 110%; }
158 div.body h6 { font-size: 100%; }
163 padding: 0 4px 0 4px;
164 text-decoration: none;
168 background-color: #c60f0f;
172 div.body p, div.body dd, div.body li {
177 div.admonition p.admonition-title + p {
189 div.admonition ul, div.admonition ol {
194 background-color: #eee;
195 border: 1px solid #ccc;
199 background-color: #ffc;
200 border: 1px solid #ff6;
204 background-color: #eee;
208 background-color: #ffe4e4;
209 border: 1px solid #f66;
216 p.admonition-title:after {
222 background-color: #eeffcc;
225 border: 1px solid #ac9;
231 background-color: #ecf0f3;
232 padding: 0 1px 0 1px;
237 background-color: #ede;
249 font-family: sans-serif;
252 div.viewcode-block:target {
253 background-color: #f4debf;
254 border-top: 1px solid #ac9;
255 border-bottom: 1px solid #ac9;