2021-03-02 15:59:38 +00:00
|
|
|
@import url("classic.css");
|
2020-10-02 17:23:08 +00:00
|
|
|
|
2020-10-03 17:44:12 +00:00
|
|
|
html {
|
|
|
|
background: none;
|
2021-04-17 15:36:32 +00:00
|
|
|
min-height: 100%;
|
2020-10-03 17:44:12 +00:00
|
|
|
}
|
|
|
|
|
2020-10-02 17:23:08 +00:00
|
|
|
body {
|
2020-10-03 17:44:12 +00:00
|
|
|
background: linear-gradient(to bottom, #a7cfdf 0%,#23538a 100%);
|
|
|
|
}
|
|
|
|
|
|
|
|
div#fmain {
|
|
|
|
color: #222;
|
2021-01-25 22:02:38 +00:00
|
|
|
padding: 10px 40px 10px;
|
2020-10-03 17:44:12 +00:00
|
|
|
background-color: #EEEEFA;
|
|
|
|
border-radius: 14px;
|
|
|
|
position: relative;
|
2021-01-26 08:10:42 +00:00
|
|
|
margin: 15px auto 15px;
|
2020-10-03 17:44:12 +00:00
|
|
|
box-shadow: 0 0 5px 1px #333;
|
2020-10-08 19:25:34 +00:00
|
|
|
width: 85%;
|
2021-01-25 20:46:31 +00:00
|
|
|
/* This is super-cheesy, but 1270px is the maximum width of the sidebar, the content and the margins */
|
|
|
|
max-width: 1270px;
|
2020-10-02 17:23:08 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
div.related {
|
2020-10-03 17:44:12 +00:00
|
|
|
margin-bottom: 0;
|
2020-10-02 17:23:08 +00:00
|
|
|
padding: 0.5em 0;
|
|
|
|
border-top: 1px solid #ccc;
|
2020-10-03 17:44:12 +00:00
|
|
|
margin-top: 0;
|
2021-06-02 14:38:35 +00:00
|
|
|
background-color: inherit;
|
2020-10-02 17:23:08 +00:00
|
|
|
}
|
|
|
|
|
2021-01-25 21:09:32 +00:00
|
|
|
div.section {
|
|
|
|
/* Make scrollable when it's too wide
|
|
|
|
Really only happens with tables, the rest flows nicely,
|
|
|
|
but I have no idea how to make the tables themselves scrollable
|
|
|
|
*/
|
|
|
|
overflow-y: auto;
|
2021-05-27 20:40:04 +00:00
|
|
|
/* This avoids leaving the actual text narrower than necessary
|
|
|
|
in certain widths.
|
|
|
|
*/
|
|
|
|
width: 100%;
|
2021-01-25 21:09:32 +00:00
|
|
|
}
|
|
|
|
|
2020-10-02 17:23:08 +00:00
|
|
|
div.related a:hover {
|
|
|
|
color: #0095C4;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.related:first-child {
|
|
|
|
border-top: 0;
|
|
|
|
border-bottom: 1px solid #ccc;
|
|
|
|
}
|
|
|
|
|
|
|
|
.inline-search {
|
|
|
|
display: inline;
|
|
|
|
}
|
|
|
|
form.inline-search input {
|
|
|
|
display: inline;
|
|
|
|
}
|
|
|
|
form.inline-search input[type="submit"] {
|
|
|
|
width: 40px;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.sphinxsidebar {
|
2021-01-25 21:57:21 +00:00
|
|
|
border-right: 1px solid #ccc;
|
|
|
|
border-radius: 0px;
|
2020-10-02 17:23:08 +00:00
|
|
|
line-height: 130%;
|
|
|
|
font-size: smaller;
|
2020-10-08 19:26:08 +00:00
|
|
|
margin-left: 0;
|
2021-05-27 20:02:48 +00:00
|
|
|
float: left;
|
|
|
|
/* Let this move along with the screen, but be scrollable itself.
|
|
|
|
This means the user can't scroll *away* from the sidebar - it's always available */
|
|
|
|
overflow: auto;
|
|
|
|
position: sticky;
|
|
|
|
top: 0;
|
|
|
|
max-height: 100vh;
|
|
|
|
/* Default scrollbar is too thicc */
|
|
|
|
scrollbar-width: thin;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.sphinxsidebar::-webkit-scrollbar {
|
|
|
|
width: 5px;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.sphinxsidebar::-webkit-scrollbar-thumb {
|
|
|
|
/* Without, chrome lets the scrollbar disappear? */
|
|
|
|
background-color: grey;
|
|
|
|
border-radius: 10px;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.documentwrapper {
|
2020-10-08 19:26:08 +00:00
|
|
|
float: none;
|
|
|
|
}
|
|
|
|
|
2021-06-02 14:38:35 +00:00
|
|
|
div.document, div.body {
|
|
|
|
background-color: inherit;
|
|
|
|
color: inherit;
|
|
|
|
}
|
|
|
|
|
2021-01-25 21:55:29 +00:00
|
|
|
div#searchbox {
|
|
|
|
/* Cheesy: The padding is on the sphinxsidebar*wrapper*,
|
|
|
|
so if this is the last element the bottom padding won't apply.
|
2021-01-26 08:19:47 +00:00
|
|
|
*/
|
2021-01-25 21:55:29 +00:00
|
|
|
padding-bottom: 5px;
|
|
|
|
}
|
|
|
|
|
2020-10-02 17:23:08 +00:00
|
|
|
div.sphinxsidebar h3, div.sphinxsidebar h4 {
|
|
|
|
margin-top: 1.5em;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.sphinxsidebarwrapper > h3:first-child {
|
|
|
|
margin-top: 0.2em;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.sphinxsidebarwrapper > ul > li > ul > li {
|
|
|
|
margin-bottom: 0.4em;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.sphinxsidebar a:hover {
|
|
|
|
color: #0095C4;
|
|
|
|
}
|
|
|
|
|
|
|
|
form.inline-search input,
|
|
|
|
div.sphinxsidebar input {
|
2020-10-03 17:44:12 +00:00
|
|
|
font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
|
2020-10-02 17:23:08 +00:00
|
|
|
border: 1px solid #999999;
|
|
|
|
font-size: smaller;
|
|
|
|
border-radius: 3px;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.sphinxsidebar input[type=text] {
|
|
|
|
max-width: 150px;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.body {
|
|
|
|
padding: 0 0 0 1.2em;
|
2020-10-04 09:28:22 +00:00
|
|
|
min-width: 150px;
|
2020-10-02 17:23:08 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
div.body p {
|
|
|
|
line-height: 140%;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.body h1, div.body h2, div.body h3, div.body h4, div.body h5, div.body h6 {
|
|
|
|
margin: 0;
|
|
|
|
border: 0;
|
|
|
|
padding: 0.3em 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.body hr {
|
|
|
|
border: 0;
|
|
|
|
background-color: #ccc;
|
|
|
|
height: 1px;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.body pre {
|
|
|
|
border-radius: 3px;
|
|
|
|
border: 1px solid #ac9;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.body div.admonition, div.body div.impl-detail {
|
|
|
|
border-radius: 3px;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.body div.impl-detail > p {
|
|
|
|
margin: 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.body div.seealso {
|
|
|
|
border: 1px solid #dddd66;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.body a {
|
|
|
|
color: #0072aa;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.body a:visited {
|
|
|
|
color: #6363bb;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.body a:hover {
|
|
|
|
color: #00B0E4;
|
|
|
|
}
|
|
|
|
|
|
|
|
tt, code, pre {
|
|
|
|
font-family: monospace, sans-serif;
|
|
|
|
font-size: 96.5%;
|
2021-06-02 14:10:29 +00:00
|
|
|
/* Older sphinx versions set a color here, we need to inherit it from the outer div.highlight */
|
|
|
|
background-color: inherit;
|
2020-10-02 17:23:08 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
div.body tt, div.body code {
|
|
|
|
border-radius: 3px;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.body tt.descname, div.body code.descname {
|
|
|
|
font-size: 120%;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.body tt.xref, div.body a tt, div.body code.xref, div.body a code {
|
|
|
|
font-weight: normal;
|
|
|
|
}
|
|
|
|
|
|
|
|
table.docutils {
|
|
|
|
border: 1px solid #ddd;
|
|
|
|
min-width: 20%;
|
|
|
|
border-radius: 3px;
|
|
|
|
margin-top: 10px;
|
|
|
|
margin-bottom: 10px;
|
2021-01-27 16:56:24 +00:00
|
|
|
/* Make table scrollable on overflow */
|
|
|
|
display: block;
|
|
|
|
overflow: auto;
|
2020-10-02 17:23:08 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
table.docutils td, table.docutils th {
|
|
|
|
border: 1px solid #ddd !important;
|
|
|
|
border-radius: 3px;
|
|
|
|
}
|
|
|
|
|
|
|
|
table p, table li {
|
|
|
|
text-align: left !important;
|
|
|
|
}
|
|
|
|
|
|
|
|
table.docutils th {
|
|
|
|
background-color: #eee;
|
|
|
|
padding: 0.3em 0.5em;
|
|
|
|
}
|
|
|
|
|
|
|
|
table.docutils td {
|
|
|
|
background-color: white;
|
|
|
|
padding: 0.3em 0.5em;
|
|
|
|
}
|
|
|
|
|
|
|
|
table.footnote, table.footnote td {
|
|
|
|
border: 0 !important;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.footer {
|
|
|
|
line-height: 150%;
|
|
|
|
margin-top: -2em;
|
|
|
|
text-align: right;
|
|
|
|
width: auto;
|
|
|
|
margin-right: 10px;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.footer a:hover {
|
|
|
|
color: #0095C4;
|
|
|
|
}
|
|
|
|
|
|
|
|
.refcount {
|
|
|
|
color: #060;
|
|
|
|
}
|
|
|
|
|
|
|
|
.stableabi {
|
|
|
|
color: #229;
|
|
|
|
}
|
|
|
|
|
|
|
|
.highlight {
|
2021-06-02 14:38:35 +00:00
|
|
|
background: #FFF;
|
2020-10-02 17:23:08 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
dl > dt span ~ em {
|
|
|
|
font-family: monospace, sans-serif;
|
|
|
|
}
|
2021-01-25 20:34:42 +00:00
|
|
|
|
|
|
|
/* On screens that are less than 700px wide remove anything non-essential
|
|
|
|
- the sidebar, the gradient background, ... */
|
|
|
|
@media screen and (max-width: 700px) {
|
2021-01-26 08:19:47 +00:00
|
|
|
div.sphinxsidebar {
|
|
|
|
width: 100%;
|
|
|
|
height: auto;
|
|
|
|
position: relative;
|
|
|
|
}
|
2021-05-27 20:02:48 +00:00
|
|
|
div.documentwrapper {
|
|
|
|
float: left;
|
|
|
|
}
|
|
|
|
|
2021-01-27 20:53:24 +00:00
|
|
|
div.sphinxsidebar ul {
|
|
|
|
flex-basis: content;
|
|
|
|
flex-wrap: wrap;
|
|
|
|
}
|
|
|
|
div.sphinxsidebarwrapper {
|
|
|
|
display: flex;
|
|
|
|
}
|
|
|
|
div.sphinxsidebarwrapper > h3:nth-child(5) {
|
|
|
|
display: none;
|
|
|
|
}
|
|
|
|
div#searchbox {
|
|
|
|
display: none !important;
|
|
|
|
}
|
2021-01-26 08:19:47 +00:00
|
|
|
div.content {margin-left: 0;}
|
2021-01-25 20:34:42 +00:00
|
|
|
|
|
|
|
div.bodywrapper {
|
|
|
|
margin: 0;
|
|
|
|
}
|
|
|
|
div.body {
|
|
|
|
padding: 1rem;
|
|
|
|
}
|
|
|
|
|
2021-01-26 08:19:47 +00:00
|
|
|
div#fmain {
|
|
|
|
border-radius: 0px;
|
|
|
|
margin: 0;
|
|
|
|
box-shadow: 0;
|
|
|
|
width: 100%;
|
|
|
|
padding: 0;
|
|
|
|
/* We have some padding/margins that would overflow - just remove it */
|
|
|
|
overflow: clip;
|
|
|
|
}
|
2021-01-25 21:09:32 +00:00
|
|
|
div.footer {
|
|
|
|
margin: 0;
|
|
|
|
}
|
2021-01-25 20:34:42 +00:00
|
|
|
}
|
2021-03-02 15:49:23 +00:00
|
|
|
|
|
|
|
.sphinxsidebar ul.current > li.current { font-weight: bold }
|
|
|
|
|
|
|
|
.gray { color: #555555 }
|
|
|
|
.purple { color: #551a8b }
|
|
|
|
.red { color: #FF0000 }
|
|
|
|
|
|
|
|
/* Color based on the Name.Function (.nf) class from pygments.css. */
|
|
|
|
.command { color: #005fd7 }
|
|
|
|
|
|
|
|
/* Color based on the Name.Constant (.no) class from pygments.css. */
|
|
|
|
.param { color: #00afff }
|
|
|
|
|
|
|
|
/* Color based on the Name.Constant (.no) class from pygments.css. */
|
|
|
|
/* Used for underlining file paths in interactive code examples. */
|
|
|
|
.param-valid-path { color: #00afff; text-decoration: underline }
|
|
|
|
|
|
|
|
/* Color based on the Generic.Prompt (.gp) class from pygments.css. */
|
|
|
|
.prompt { color: #8f5902 }
|
|
|
|
|
|
|
|
kbd {
|
|
|
|
background-color: #f9f9f9;
|
|
|
|
border: 1px solid #aaa;
|
|
|
|
border-radius: .2em;
|
|
|
|
box-shadow: 0.1em 0.1em 0.2em rgba(0,0,0,0.1);
|
|
|
|
color: #000;
|
|
|
|
padding: 0.1em 0.3em;
|
|
|
|
}
|