@@ -5,176 +5,176 @@
* Sphinx stylesheet -- default theme.
*
* :copyright: Copyright 2007-2013 by the Sphinx team, see AUTHORS.
* :license: BSD, see LICENSE for details.
*/
@import url("basic.css");
/* -- page layout ----------------------------------------------------------- */
body {
font-family: sans-serif;
font-family: 'Lucida Grande', Arial, sans-serif;
font-size: 100%;
background-color: #11303d;
background-color: white;
color: #000;
margin: 0;
padding: 0;
}
div.document {
background-color: #1c4e63;
div.documentwrapper {
float: left;
width: 100%;
div.bodywrapper {
margin: 0 0 0 230px;
div.body {
background-color: #ffffff;
color: #000000;
color: #222222;
padding: 0 20px 30px 20px;
div.footer {
color: #ffffff;
color: #555555;
padding: 9px 0 9px 0;
text-align: center;
font-size: 75%;
div.footer a {
text-decoration: underline;
div.related {
background-color: #133f52;
line-height: 30px;
color: #666666;
div.related a {
color: #444444;
div.sphinxsidebar {
div.sphinxsidebar h3 {
font-family: 'Trebuchet MS', sans-serif;
font-size: 1.4em;
font-weight: normal;
div.sphinxsidebar h3 a {
div.sphinxsidebar h4 {
font-size: 1.3em;
margin: 5px 0 0 0;
div.sphinxsidebar p {
div.sphinxsidebar p.topless {
margin: 5px 10px 10px 10px;
div.sphinxsidebar ul {
margin: 10px;
div.sphinxsidebar a {
color: #98dbcc;
div.sphinxsidebar input {
border: 1px solid #98dbcc;
border: 1px solid #444444;
font-size: 1em;
/* -- hyperlink styles ------------------------------------------------------ */
a {
color: #355f7c;
color: #0090c0;
text-decoration: none;
a:visited {
color: #00608f;
a:hover {
/* -- body styles ----------------------------------------------------------- */
div.body h1,
div.body h2,
div.body h3,
div.body h4,
div.body h5,
div.body h6 {
background-color: #f2f2f2;
color: #20435c;
color: #1a1a1a;
border-bottom: 1px solid #ccc;
margin: 20px -20px 10px -20px;
padding: 3px 0 3px 10px;
div.body h1 { margin-top: 0; font-size: 200%; }
div.body h2 { font-size: 160%; }
div.body h3 { font-size: 140%; }
div.body h4 { font-size: 120%; }
div.body h5 { font-size: 110%; }
div.body h6 { font-size: 100%; }
a.headerlink {
color: #c60f0f;
color: #aaaaaa;
font-size: 0.8em;
padding: 0 4px 0 4px;
a.headerlink:hover {
background-color: #c60f0f;
background-color: #aaaaaa;
color: white;
div.body p, div.body dd, div.body li {
text-align: justify;
line-height: 130%;
div.admonition p.admonition-title + p {
display: inline;
@@ -237,20 +237,20 @@ th {
background-color: #ede;
.warning tt {
background: #efc2c2;
.note tt {
background: #d6d6d6;
.viewcode-back {
div.viewcode-block:target {
background-color: #f4debf;
border-top: 1px solid #ac9;
border-bottom: 1px solid #ac9;
\ No newline at end of file