5 * Sphinx stylesheet -- default theme.
7 * :copyright: Copyright 2007-2014 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;