michael@0: /*
michael@0:  * default.css_t
michael@0:  * ~~~~~~~~~~~~~
michael@0:  *
michael@0:  * Sphinx stylesheet -- default theme.
michael@0:  *
michael@0:  * :copyright: Copyright 2007-2010 by the Sphinx team, see AUTHORS.
michael@0:  * :license: BSD, see LICENSE for details.
michael@0:  *
michael@0:  */
michael@0: 
michael@0: @import url("basic.css");
michael@0: 
michael@0: /* -- page layout ----------------------------------------------------------- */
michael@0: 
michael@0: body {
michael@0:     font-family: sans-serif;
michael@0:     font-size: 100%;
michael@0:     background-color: #11303d;
michael@0:     color: #000;
michael@0:     margin: 0;
michael@0:     padding: 0;
michael@0: }
michael@0: 
michael@0: div.document {
michael@0:     background-color: #1c4e63;
michael@0: }
michael@0: 
michael@0: div.documentwrapper {
michael@0:     float: left;
michael@0:     width: 100%;
michael@0: }
michael@0: 
michael@0: div.bodywrapper {
michael@0:     margin: 0 0 0 230px;
michael@0: }
michael@0: 
michael@0: div.body {
michael@0:     background-color: #ffffff;
michael@0:     color: #000000;
michael@0:     padding: 0 20px 30px 20px;
michael@0: }
michael@0: 
michael@0: div.footer {
michael@0:     color: #ffffff;
michael@0:     width: 100%;
michael@0:     padding: 9px 0 9px 0;
michael@0:     text-align: center;
michael@0:     font-size: 75%;
michael@0: }
michael@0: 
michael@0: div.footer a {
michael@0:     color: #ffffff;
michael@0:     text-decoration: underline;
michael@0: }
michael@0: 
michael@0: div.related {
michael@0:     background-color: #133f52;
michael@0:     line-height: 30px;
michael@0:     color: #ffffff;
michael@0: }
michael@0: 
michael@0: div.related a {
michael@0:     color: #ffffff;
michael@0: }
michael@0: 
michael@0: div.sphinxsidebar {
michael@0: }
michael@0: 
michael@0: div.sphinxsidebar h3 {
michael@0:     font-family: 'Trebuchet MS', sans-serif;
michael@0:     color: #ffffff;
michael@0:     font-size: 1.4em;
michael@0:     font-weight: normal;
michael@0:     margin: 0;
michael@0:     padding: 0;
michael@0: }
michael@0: 
michael@0: div.sphinxsidebar h3 a {
michael@0:     color: #ffffff;
michael@0: }
michael@0: 
michael@0: div.sphinxsidebar h4 {
michael@0:     font-family: 'Trebuchet MS', sans-serif;
michael@0:     color: #ffffff;
michael@0:     font-size: 1.3em;
michael@0:     font-weight: normal;
michael@0:     margin: 5px 0 0 0;
michael@0:     padding: 0;
michael@0: }
michael@0: 
michael@0: div.sphinxsidebar p {
michael@0:     color: #ffffff;
michael@0: }
michael@0: 
michael@0: div.sphinxsidebar p.topless {
michael@0:     margin: 5px 10px 10px 10px;
michael@0: }
michael@0: 
michael@0: div.sphinxsidebar ul {
michael@0:     margin: 10px;
michael@0:     padding: 0;
michael@0:     color: #ffffff;
michael@0: }
michael@0: 
michael@0: div.sphinxsidebar a {
michael@0:     color: #98dbcc;
michael@0: }
michael@0: 
michael@0: div.sphinxsidebar input {
michael@0:     border: 1px solid #98dbcc;
michael@0:     font-family: sans-serif;
michael@0:     font-size: 1em;
michael@0: }
michael@0: 
michael@0: 
michael@0: 
michael@0: /* -- hyperlink styles ------------------------------------------------------ */
michael@0: 
michael@0: a {
michael@0:     color: #355f7c;
michael@0:     text-decoration: none;
michael@0: }
michael@0: 
michael@0: a:visited {
michael@0:     color: #355f7c;
michael@0:     text-decoration: none;
michael@0: }
michael@0: 
michael@0: a:hover {
michael@0:     text-decoration: underline;
michael@0: }
michael@0: 
michael@0: 
michael@0: 
michael@0: /* -- body styles ----------------------------------------------------------- */
michael@0: 
michael@0: div.body h1,
michael@0: div.body h2,
michael@0: div.body h3,
michael@0: div.body h4,
michael@0: div.body h5,
michael@0: div.body h6 {
michael@0:     font-family: 'Trebuchet MS', sans-serif;
michael@0:     background-color: #f2f2f2;
michael@0:     font-weight: normal;
michael@0:     color: #20435c;
michael@0:     border-bottom: 1px solid #ccc;
michael@0:     margin: 20px -20px 10px -20px;
michael@0:     padding: 3px 0 3px 10px;
michael@0: }
michael@0: 
michael@0: div.body h1 { margin-top: 0; font-size: 200%; }
michael@0: div.body h2 { font-size: 160%; }
michael@0: div.body h3 { font-size: 140%; }
michael@0: div.body h4 { font-size: 120%; }
michael@0: div.body h5 { font-size: 110%; }
michael@0: div.body h6 { font-size: 100%; }
michael@0: 
michael@0: a.headerlink {
michael@0:     color: #c60f0f;
michael@0:     font-size: 0.8em;
michael@0:     padding: 0 4px 0 4px;
michael@0:     text-decoration: none;
michael@0: }
michael@0: 
michael@0: a.headerlink:hover {
michael@0:     background-color: #c60f0f;
michael@0:     color: white;
michael@0: }
michael@0: 
michael@0: div.body p, div.body dd, div.body li {
michael@0:     text-align: justify;
michael@0:     line-height: 130%;
michael@0: }
michael@0: 
michael@0: div.admonition p.admonition-title + p {
michael@0:     display: inline;
michael@0: }
michael@0: 
michael@0: div.admonition p {
michael@0:     margin-bottom: 5px;
michael@0: }
michael@0: 
michael@0: div.admonition pre {
michael@0:     margin-bottom: 5px;
michael@0: }
michael@0: 
michael@0: div.admonition ul, div.admonition ol {
michael@0:     margin-bottom: 5px;
michael@0: }
michael@0: 
michael@0: div.note {
michael@0:     background-color: #eee;
michael@0:     border: 1px solid #ccc;
michael@0: }
michael@0: 
michael@0: div.seealso {
michael@0:     background-color: #ffc;
michael@0:     border: 1px solid #ff6;
michael@0: }
michael@0: 
michael@0: div.topic {
michael@0:     background-color: #eee;
michael@0: }
michael@0: 
michael@0: div.warning {
michael@0:     background-color: #ffe4e4;
michael@0:     border: 1px solid #f66;
michael@0: }
michael@0: 
michael@0: p.admonition-title {
michael@0:     display: inline;
michael@0: }
michael@0: 
michael@0: p.admonition-title:after {
michael@0:     content: ":";
michael@0: }
michael@0: 
michael@0: pre {
michael@0:     padding: 5px;
michael@0:     background-color: #eeffcc;
michael@0:     color: #333333;
michael@0:     line-height: 120%;
michael@0:     border: 1px solid #ac9;
michael@0:     border-left: none;
michael@0:     border-right: none;
michael@0: }
michael@0: 
michael@0: tt {
michael@0:     background-color: #ecf0f3;
michael@0:     padding: 0 1px 0 1px;
michael@0:     font-size: 0.95em;
michael@0: }
michael@0: 
michael@0: th {
michael@0:     background-color: #ede;
michael@0: }
michael@0: 
michael@0: .warning tt {
michael@0:     background: #efc2c2;
michael@0: }
michael@0: 
michael@0: .note tt {
michael@0:     background: #d6d6d6;
michael@0: }
michael@0: 
michael@0: .viewcode-back {
michael@0:     font-family: sans-serif;
michael@0: }
michael@0: 
michael@0: div.viewcode-block:target {
michael@0:     background-color: #f4debf;
michael@0:     border-top: 1px solid #ac9;
michael@0:     border-bottom: 1px solid #ac9;
michael@0: }