File diff 1f88631ae3d1 → c80955f199ec
doc/build/html/_static/default.css
Show inline comments
...
 
@@ -11,122 +11,122 @@
 

	
 
@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;
 
    background-color: white;
 
}
 

	
 
div.documentwrapper {
 
    float: left;
 
    width: 100%;
 
}
 

	
 
div.bodywrapper {
 
    margin: 0 0 0 230px;
 
}
 

	
 
div.body {
 
    background-color: #ffffff;
 
    color: #000000;
 
    background-color: white;
 
    color: #222222;
 
    padding: 0 20px 30px 20px;
 
}
 

	
 
div.footer {
 
    color: #ffffff;
 
    color: #555555;
 
    width: 100%;
 
    padding: 9px 0 9px 0;
 
    text-align: center;
 
    font-size: 75%;
 
}
 

	
 
div.footer a {
 
    color: #ffffff;
 
    color: #555555;
 
    text-decoration: underline;
 
}
 

	
 
div.related {
 
    background-color: #133f52;
 
    background-color: white;
 
    line-height: 30px;
 
    color: #ffffff;
 
    color: #666666;
 
}
 

	
 
div.related a {
 
    color: #ffffff;
 
    color: #444444;
 
}
 

	
 
div.sphinxsidebar {
 
}
 

	
 
div.sphinxsidebar h3 {
 
    font-family: 'Trebuchet MS', sans-serif;
 
    color: #ffffff;
 
    font-family: 'Lucida Grande', Arial, sans-serif;
 
    color: #444444;
 
    font-size: 1.4em;
 
    font-weight: normal;
 
    margin: 0;
 
    padding: 0;
 
}
 

	
 
div.sphinxsidebar h3 a {
 
    color: #ffffff;
 
    color: #444444;
 
}
 

	
 
div.sphinxsidebar h4 {
 
    font-family: 'Trebuchet MS', sans-serif;
 
    color: #ffffff;
 
    font-family: 'Lucida Grande', Arial, sans-serif;
 
    color: #444444;
 
    font-size: 1.3em;
 
    font-weight: normal;
 
    margin: 5px 0 0 0;
 
    padding: 0;
 
}
 

	
 
div.sphinxsidebar p {
 
    color: #ffffff;
 
    color: #444444;
 
}
 

	
 
div.sphinxsidebar p.topless {
 
    margin: 5px 10px 10px 10px;
 
}
 

	
 
div.sphinxsidebar ul {
 
    margin: 10px;
 
    padding: 0;
 
    color: #ffffff;
 
    color: #444444;
 
}
 

	
 
div.sphinxsidebar a {
 
    color: #98dbcc;
 
    color: #444444;
 
}
 

	
 
div.sphinxsidebar input {
 
    border: 1px solid #98dbcc;
 
    border: 1px solid #444444;
 
    font-family: sans-serif;
 
    font-size: 1em;
 
}
 

	
 

	
 

	
 
/* -- hyperlink styles ------------------------------------------------------ */
 

	
 
a {
 
    color: #355f7c;
 
    color: #0090c0;
 
    text-decoration: none;
 
}
 

	
 
a:visited {
 
    color: #355f7c;
 
    color: #00608f;
 
    text-decoration: none;
 
}
 

	
 
a:hover {
 
    text-decoration: underline;
 
}
...
 
@@ -138,16 +138,16 @@ a:hover {
 
div.body h1,
 
div.body h2,
 
div.body h3,
 
div.body h4,
 
div.body h5,
 
div.body h6 {
 
    font-family: 'Trebuchet MS', sans-serif;
 
    background-color: #f2f2f2;
 
    font-family: 'Lucida Grande', Arial, sans-serif;
 
    background-color: white;
 
    font-weight: normal;
 
    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%; }
...
 
@@ -155,20 +155,20 @@ 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;
 
    text-decoration: none;
 
}
 

	
 
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%;
...
 
@@ -243,13 +243,13 @@ th {
 

	
 
.note tt {
 
    background: #d6d6d6;
 
}
 

	
 
.viewcode-back {
 
    font-family: sans-serif;
 
    font-family: 'Lucida Grande', Arial, sans-serif;
 
}
 

	
 
div.viewcode-block:target {
 
    background-color: #f4debf;
 
    border-top: 1px solid #ac9;
 
    border-bottom: 1px solid #ac9;