2 * Modified from sphinxdoc.css of the sphinxdoc theme.
5 @import url
("basic.css");
7 /* -- page layout ----------------------------------------------------------- */
10 font-family: 'Open Sans', sans-serif
;
16 margin: 0px 80px 0px 80px;
18 -moz-box-shadow: 0px 0px 10px #93a1a1;
19 -webkit-box-shadow: 0px 0px 10px #93a1a1;
20 box-shadow: 0px 0px 10px #93a1a1;
21 background: url
("subtle_dots.png") repeat
;
26 background-color: #fcfcfc;
28 background-repeat: repeat-x
;
33 border-right: 1px dotted
#eee8d5;
37 background-color: white
;
39 padding: 0.5em 20px 20px 20px;
61 div
.related ul li
.right
{
70 text-decoration: none
;
74 div
.related ul li
a:hover
{
75 background-color: #073642;
76 -webkit-border-radius: 2px;
77 -moz-border-radius: 2px;
81 div
.sphinxsidebarwrapper
{
87 padding: 0.5em 15px 15px 0;
94 div
.sphinxsidebar h3
, div
.sphinxsidebar h4
{
95 margin: 1em 0 0.5em 0;
98 background-color: #eeeff1;
101 div
.sphinxsidebar h3 a
{
105 div
.sphinxsidebar ul
{
113 div
.sphinxsidebar ul ul
{
117 div
.sphinxsidebar input
{
118 border: 1px solid
#eee8d5;
122 background-color: #93a1a1;
124 padding: 3px 8px 3px 0;
132 text-decoration: none
;
135 /* -- body styles ----------------------------------------------------------- */
138 margin: 0.8em 0 0.5em 0;
141 div
.body a
, div
.sphinxsidebarwrapper a
{
143 text-decoration: none
;
146 div
.body
a:hover
, div
.sphinxsidebarwrapper
a:hover
{
147 border-bottom: 1px solid
#268bd2;
150 h1
, h2
, h3
, h4
, h5
, h6
{
151 font-family: "Open Sans", sans-serif
;
157 padding: 0.7em 0 0.3em 0;
160 text-shadow: #eee 0.1em 0.1em 0.1em;
164 margin: 1.3em 0 0.2em 0;
167 border-bottom: 1px solid
#eee;
171 margin: 1em 0 -0.3em 0;
177 border-bottom: 1px dotted
#eee;
180 div
.body h1 a
, div
.body h2 a
, div
.body h3 a
, div
.body h4 a
, div
.body h5 a
, div
.body h6 a
{
181 color: #657B83!important
;
184 h1 a
.anchor
, h2 a
.anchor
, h3 a
.anchor
, h4 a
.anchor
, h5 a
.anchor
, h6 a
.anchor
{
187 padding: 0 0.2em 0 0.2em;
188 color: #aaa!important
;
191 h1:hover a
.anchor
, h2:hover a
.anchor
, h3:hover a
.anchor
, h4:hover a
.anchor
,
192 h5:hover a
.anchor
, h6:hover a
.anchor
{
196 h1 a
.anchor:hover
, h2 a
.anchor:hover
, h3 a
.anchor:hover
, h4 a
.anchor:hover
,
197 h5 a
.anchor:hover
, h6 a
.anchor:hover
{
199 background-color: #eee;
203 color: #c60f0f!important
;
206 padding: 0 4px 0 4px;
207 text-decoration: none
!important
;
211 background-color: #ccc;
212 color: white
!important
;
217 font-family: 'Source Code Pro', monospace
;
219 letter-spacing: 0.01em;
220 background-color: #eeeff2;
225 border: 1px solid
#eee;
230 -webkit-border-radius: 2px;
231 -moz-border-radius: 2px;
236 font-family: 'Source Code Pro', monospace
;
239 letter-spacing: 0.015em;
242 white-space: pre-wrap
; /* css-3 */
243 white-space: -moz-pre-wrap
; /* Mozilla, since 1999 */
244 white-space: -pre-wrap
; /* Opera 4-6 */
245 white-space: -o-pre-wrap
; /* Opera 7 */
246 word-wrap: break-word
; /* Internet Explorer 5.5+ */
248 border: 1px solid
#ccc;
253 text-decoration: underline
;
261 background-color: #f8f8f8;
265 border: 1px solid
#ccc;
269 background-color: #f8f8f8;
273 border-collapse: collapse
;
274 margin: 0 -0.5em 0 -0.5em;
278 padding: 0.2em 0.5em 0.2em 0.5em;
284 border: 1px solid
#eee;
285 background-color: #f7f7f7;
287 -moz-box-shadow: 0px 8px 6px -8px #93a1a1;
288 -webkit-box-shadow: 0px 8px 6px -8px #93a1a1;
289 box-shadow: 0px 8px 6px -8px #93a1a1;
293 margin: 0.5em 1em 0.5em 1em;
298 margin: 0.4em 1em 0.4em 1em;
301 div
.admonition p
.admonition-title
304 padding: 0.2em 0 0.2em 0.6em;
306 border-bottom: 1px solid
#eee8d5;
308 background-color: #268bd2;
311 div
.warning p
.admonition-title
,
312 div
.important p
.admonition-title
{
313 background-color: #cb4b16;
316 div
.hint p
.admonition-title
,
317 div
.tip p
.admonition-title
{
318 background-color: #859900;
321 div
.caution p
.admonition-title
,
322 div
.attention p
.admonition-title
,
323 div
.danger p
.admonition-title
,
324 div
.error p
.admonition-title
{
325 background-color: #dc322f;
328 div
.admonition ul
, div
.admonition ol
{
329 margin: 0.1em 0.5em 0.5em 3em;
335 border: 1px solid
#eee;
336 background-color: #DDEAF0;
342 div
.viewcode-block:target
{
343 background-color: #f4debf;
344 border-top: 1px solid
#eee;
345 border-bottom: 1px solid
#eee;