5 * Sphinx stylesheet -- nature theme.
7 * :copyright: Copyright 2007-2010 by the Sphinx team, see AUTHORS.
8 * :license: BSD, see LICENSE for details.
12 @import url("basic.css");
14 /* -- page layout ----------------------------------------------------------- */
17 font-family: Arial, sans-serif;
19 background-color: #111;
35 border: 1px solid #B1B4B6;
39 background-color: #eee;
43 background-color: #ffffff;
45 padding: 0 30px 30px 30px;
47 margin: 0 auto 0 auto;
61 text-decoration: underline;
65 background-color: #334488;
80 div.sphinxsidebarwrapper{
85 div.sphinxsidebar h4 {
86 font-family: Arial, sans-serif;
92 background-color: #ddd;
99 div.sphinxsidebar h3 a {
104 div.sphinxsidebar p {
109 div.sphinxsidebar p.topless {
112 div.sphinxsidebar ul {
118 div.sphinxsidebar a {
122 div.sphinxsidebar input {
123 border: 1px solid #ccc;
124 font-family: sans-serif;
128 div.sphinxsidebar input[type=text]{
132 /* -- body styles ----------------------------------------------------------- */
136 text-decoration: none;
141 text-decoration: underline;
150 font-family: Arial, sans-serif;
151 background-color: #BED4EB;
154 margin: 30px 0px 10px 0px;
155 padding: 5px 0 5px 10px;
158 div.body h1 { border-top: 20px solid white; margin-top: 0; font-size: 200%; }
159 div.body h2 { font-size: 150%; background-color: #C8D5E3; }
160 div.body h3 { font-size: 120%; background-color: #D8DEE3; }
161 div.body h4 { font-size: 110%; background-color: #D8DEE3; }
162 div.body h5 { font-size: 100%; background-color: #D8DEE3; }
163 div.body h6 { font-size: 100%; background-color: #D8DEE3; }
168 padding: 0 4px 0 4px;
169 text-decoration: none;
173 background-color: #c60f0f;
177 div.body p, div.body dd, div.body li {
181 div.admonition p.admonition-title + p {
186 background-color: white;
190 background-color: #eee;
191 border: 1px solid #ccc;
195 background-color: #ffc;
196 border: 1px solid #ff6;
200 background-color: #eee;
204 background-color: #ffe4e4;
205 border: 1px solid #f66;
212 p.admonition-title:after {
218 background-color: #ecf0f3;
221 border: 1px solid #C6C9CB;
223 margin: 1.5em 0 1.5em 0;
227 background-color: #ecf0f3;
229 /* padding: 1px 2px; */
231 font-family: monospace;
235 font-family: Arial, sans-serif;
238 div.viewcode-block:target {
239 background-color: #f4debf;
240 border-top: 1px solid #ac9;
241 border-bottom: 1px solid #ac9;