2021-03-02 15:59:38 +00:00
|
|
|
@import url("classic.css");
|
2020-10-02 17:23:08 +00:00
|
|
|
|
2021-06-02 15:12:35 +00:00
|
|
|
:root {
|
|
|
|
color-scheme: light dark; /* both supported */
|
|
|
|
}
|
|
|
|
|
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
|
|
|
}
|
|
|
|
|
2021-06-02 15:47:07 +00:00
|
|
|
div.related a:hover,
|
|
|
|
div.footer a:hover,
|
|
|
|
div.sphinxsidebar a:hover {
|
2020-10-02 17:23:08 +00:00
|
|
|
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;
|
2021-06-03 17:03:40 +00:00
|
|
|
line-height: 150%;
|
2020-10-02 17:23:08 +00:00
|
|
|
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 {
|
2021-06-03 17:03:40 +00:00
|
|
|
margin-top: 1em;
|
2020-10-02 17:23:08 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
div.sphinxsidebarwrapper > h3:first-child {
|
|
|
|
margin-top: 0.2em;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.sphinxsidebarwrapper > ul > li > ul > li {
|
|
|
|
margin-bottom: 0.4em;
|
|
|
|
}
|
|
|
|
|
2021-06-03 17:30:45 +00:00
|
|
|
ul li.toctree-l1 {
|
|
|
|
line-height: 150%;
|
|
|
|
}
|
|
|
|
|
2020-10-02 17:23:08 +00:00
|
|
|
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 {
|
2021-06-10 18:51:37 +00:00
|
|
|
padding: 10px 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;
|
|
|
|
}
|
|
|
|
|
docs: Add copy buttons to all the codeblocks
This uses a bit of javascript to add copy buttons, so you can directly
copy all the code in a given block to the clipboard!
For codeblocks without prompts, it just copies all the code, for
blocks with prompts, it copies all the lines after prompts, under the
assumption that that's the code to be executed.
It would give you *all* the lines, so the output wouldn't be
interleaved like it is in the html, but good enough.
The buttons appear on hover, so they aren't usable on phones, but
since you won't really have a clipboard on phones and I have no idea
how to make them not always in front of the text otherwise: Eh.
I'm not in love with the javascript here, but it'll do.
2021-08-13 16:50:38 +00:00
|
|
|
div.highlight {
|
|
|
|
/* For the button to be positionable inside us */
|
|
|
|
position: relative;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.highlight pre {
|
|
|
|
padding: 10px;
|
|
|
|
}
|
|
|
|
|
|
|
|
pre button {
|
|
|
|
position: absolute;
|
|
|
|
top: 4px;
|
|
|
|
right: 4px;
|
|
|
|
opacity: 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.highlight pre:hover > button {
|
|
|
|
opacity: 1;
|
|
|
|
}
|
|
|
|
|
2020-10-02 17:23:08 +00:00
|
|
|
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;
|
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
|
|
|
}
|
|
|
|
|
2021-06-23 15:33:40 +00:00
|
|
|
pre, div[class*="highlight-"] {
|
|
|
|
/* For some reason sphinx since 3.1.2 sets "clear: both" here, which breaks in interesting ways */
|
|
|
|
clear: unset;
|
|
|
|
}
|
|
|
|
|
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;
|
|
|
|
}
|
|
|
|
|
|
|
|
.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 {
|
2021-06-03 17:03:40 +00:00
|
|
|
font-size: 16px;
|
2021-01-26 08:19:47 +00:00
|
|
|
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 }
|
|
|
|
|
2021-07-01 15:33:40 +00:00
|
|
|
.gray { color: #777 }
|
|
|
|
.purple { color: #551a8b; font-weight: bold; }
|
|
|
|
.red { color: #FF0000; }
|
2021-03-02 15:49:23 +00:00
|
|
|
|
|
|
|
/* 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. */
|
2021-07-01 15:33:40 +00:00
|
|
|
.param { color: #00bfff }
|
2021-03-02 15:49:23 +00:00
|
|
|
|
|
|
|
/* 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. */
|
2021-07-01 15:33:40 +00:00
|
|
|
.prompt { color: #8f7902 }
|
2021-03-02 15:49:23 +00:00
|
|
|
|
|
|
|
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;
|
|
|
|
}
|
2021-06-02 15:12:02 +00:00
|
|
|
|
2021-06-02 15:48:16 +00:00
|
|
|
.footnote, .footnote-reference {
|
2021-06-02 15:12:02 +00:00
|
|
|
background-color: #ddddea;
|
|
|
|
font-size: 90%;
|
|
|
|
}
|
2021-06-02 15:12:35 +00:00
|
|
|
|
|
|
|
@media (prefers-color-scheme: dark) {
|
2021-06-02 16:59:42 +00:00
|
|
|
body {
|
2021-06-02 18:52:48 +00:00
|
|
|
background: linear-gradient(to top, #1f1f3f 0%,#051f3a 100%);
|
2021-06-02 16:59:42 +00:00
|
|
|
}
|
2021-06-02 15:12:35 +00:00
|
|
|
div#fmain {
|
|
|
|
color: #DDD;
|
2021-06-02 16:59:42 +00:00
|
|
|
background-color: #202028;
|
2021-06-02 15:12:35 +00:00
|
|
|
box-shadow: 0 0 5px 1px #000;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.body h1, div.body h2, div.body h3, div.body h4, div.body h5, div.body h6 {
|
|
|
|
background-color: inherit;
|
|
|
|
color: inherit;
|
|
|
|
}
|
|
|
|
|
|
|
|
.footnote, .footnote-reference {
|
|
|
|
background-color: #101020;
|
|
|
|
}
|
|
|
|
|
2021-06-10 18:51:37 +00:00
|
|
|
div.sphinxsidebar {
|
|
|
|
border-right: 1px solid #666;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.related:first-child {
|
|
|
|
border-bottom: 1px solid #666;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.related {
|
|
|
|
border-top: 1px solid #666;
|
|
|
|
}
|
|
|
|
|
2021-06-02 15:12:35 +00:00
|
|
|
div.sphinxsidebar a, div.footer {
|
2021-06-02 16:59:42 +00:00
|
|
|
color: #CCC;
|
2021-06-02 15:12:35 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
div.sphinxsidebar h3 a, div.related a, div.sphinxsidebar h3 {
|
2021-07-01 15:33:40 +00:00
|
|
|
color: #BBB;
|
2021-06-02 15:12:35 +00:00
|
|
|
}
|
|
|
|
.highlight {
|
|
|
|
background: #000;
|
|
|
|
}
|
|
|
|
kbd {
|
|
|
|
background-color: #111;
|
|
|
|
border: 1px solid #444;
|
|
|
|
box-shadow: 0.1em 0.1em 0.2em rgba(100,100,100,0.1);
|
|
|
|
color: #FFF;
|
|
|
|
}
|
|
|
|
table.docutils th {
|
|
|
|
background-color: #222;
|
|
|
|
}
|
|
|
|
|
|
|
|
table.docutils td {
|
|
|
|
background-color: #111;
|
|
|
|
}
|
|
|
|
input {
|
|
|
|
background-color: #222;
|
2021-07-01 15:33:40 +00:00
|
|
|
color: #BBB;
|
2021-06-02 15:12:35 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
dt:target, span.highlighted {
|
|
|
|
background-color: #404060;
|
|
|
|
}
|
|
|
|
table.docutils {
|
|
|
|
border: 1px solid #222;
|
|
|
|
}
|
|
|
|
|
|
|
|
table.docutils td, table.docutils th {
|
|
|
|
border: 1px solid #222 !important;
|
|
|
|
}
|
2021-07-01 15:33:40 +00:00
|
|
|
div.body a {
|
|
|
|
color: #2092fa;
|
|
|
|
}
|
|
|
|
div.footer a {
|
|
|
|
color: #BBB;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Color based on the Name.Function (.nf) class from pygments.css. */
|
|
|
|
.command { color: #008fd7 }
|
2021-07-01 15:37:11 +00:00
|
|
|
|
|
|
|
/* The table background on fishfish Beta r1 */
|
|
|
|
th, dl.field-list > dt {
|
|
|
|
background-color: #121;
|
|
|
|
}
|
2021-06-02 15:12:35 +00:00
|
|
|
}
|