2021-06-02 15:12:35 +00:00
|
|
|
:root {
|
2023-08-25 15:13:35 +00:00
|
|
|
color-scheme: light dark; /* both supported */
|
|
|
|
--link-color: #0030B3;
|
|
|
|
--visited-link-color: #6363bb;
|
|
|
|
--hover-link-color: #00A5F4;
|
|
|
|
--text-color: #222;
|
|
|
|
--main-background: #EEEEFA;
|
|
|
|
--secondary-background: #ddddea;
|
|
|
|
--outer-background: linear-gradient(to bottom, #a7cfdf 0%,#23538a 100%);
|
|
|
|
--code-background: rgba(255,255,255, .2);
|
|
|
|
--code-border: #ac9;
|
|
|
|
--sidebar-border-color: #ccc;
|
|
|
|
--secondary-link-color: #444;
|
|
|
|
--highlight-background: #FFF;
|
|
|
|
--td-background: white;
|
2021-06-02 15:12:35 +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 {
|
2023-08-25 15:13:35 +00:00
|
|
|
background: var(--outer-background);
|
|
|
|
}
|
|
|
|
|
|
|
|
html, body, input {
|
2022-01-12 16:21:31 +00:00
|
|
|
/* Pick a font.
|
|
|
|
sans-serif is the Browser default. This is great because the user could change it.
|
|
|
|
Unfortunately the defaults are decades old and e.g. on Windows still use Arial in Firefox and Edge,
|
|
|
|
and this seems unlikely to change.
|
|
|
|
So we use system-ui, which is "the system's interface font".
|
|
|
|
Unfortunately on Windows *that* depends on the locale, and e.g. in Chinese it apparently
|
|
|
|
picks a font that is okay at chinese characters but fairly bad at latin ones.
|
|
|
|
So we prefer the standard Windows font Segoe.
|
|
|
|
If that's installed anywhere else that's unfortunate but not horrible because it's an okay font.
|
|
|
|
|
|
|
|
See e.g. https://github.com/twbs/bootstrap/issues/22328
|
|
|
|
*/
|
|
|
|
font-family: "Segoe UI", system-ui, sans-serif;
|
2020-10-03 17:44:12 +00:00
|
|
|
}
|
|
|
|
|
2022-01-13 18:51:25 +00:00
|
|
|
/* SPHINX IMPORT */
|
|
|
|
|
|
|
|
body {
|
2022-06-08 16:09:08 +00:00
|
|
|
/* These stay, assuming some browsers pick different defaults */
|
2022-01-13 18:51:25 +00:00
|
|
|
font-size: 100%;
|
2023-08-25 15:13:35 +00:00
|
|
|
background-color: var(--main-background);
|
2022-01-13 18:51:25 +00:00
|
|
|
margin: 0;
|
|
|
|
padding: 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.related ul {
|
|
|
|
margin: 0;
|
|
|
|
padding: 0 0 0 10px;
|
|
|
|
list-style: none;
|
|
|
|
}
|
2022-06-08 16:09:08 +00:00
|
|
|
|
2022-01-13 18:51:25 +00:00
|
|
|
div.related {
|
|
|
|
line-height: 30px;
|
|
|
|
color: #666666;
|
|
|
|
font-size: 90%;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.related li {
|
|
|
|
display: inline;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.related h3 {
|
|
|
|
display: none;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.related li.right {
|
|
|
|
float: right;
|
|
|
|
margin-right: 5px;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.sphinxsidebar {
|
|
|
|
width: 230px;
|
|
|
|
overflow-wrap: break-word;
|
|
|
|
}
|
|
|
|
|
|
|
|
pre {
|
|
|
|
padding: 5px;
|
|
|
|
line-height: 120%;
|
|
|
|
overflow: auto;
|
|
|
|
overflow-y: hidden;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.body h1 {
|
|
|
|
font-size: 200%;
|
|
|
|
}
|
2022-06-08 16:09:08 +00:00
|
|
|
|
2022-01-13 18:51:25 +00:00
|
|
|
div.body h1, div.body h2, div.body h3, div.body h4, div.body h5, div.body h6 {
|
|
|
|
font-weight: normal;
|
|
|
|
}
|
|
|
|
|
|
|
|
:not(li) > ol > li:last-child > :last-child, :not(li) > ul > li:last-child > :last-child {
|
|
|
|
margin-bottom: 0px;
|
|
|
|
}
|
2022-06-08 16:09:08 +00:00
|
|
|
|
2022-01-13 18:51:25 +00:00
|
|
|
div.sphinxsidebar ul ul {
|
|
|
|
margin-top: 0;
|
|
|
|
margin-bottom: 0;
|
|
|
|
}
|
2022-06-08 16:09:08 +00:00
|
|
|
|
2022-01-13 18:51:25 +00:00
|
|
|
div.sphinxsidebar ul ul, div.sphinxsidebar ul.want-points {
|
|
|
|
margin-left: 20px;
|
|
|
|
list-style: square;
|
|
|
|
}
|
2022-06-08 16:09:08 +00:00
|
|
|
|
2022-01-13 18:51:25 +00:00
|
|
|
div.sphinxsidebar ul {
|
|
|
|
margin: 10px;
|
|
|
|
padding: 0;
|
2023-08-25 15:13:35 +00:00
|
|
|
color: var(--secondary-link-color);
|
2022-01-13 18:51:25 +00:00
|
|
|
margin: 10px;
|
|
|
|
list-style: none;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.sphinxsidebarwrapper {
|
|
|
|
padding: 10px 5px 0 10px;
|
|
|
|
}
|
|
|
|
|
|
|
|
div[class*="highlight-"] {
|
|
|
|
margin: 1em 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.sphinxsidebar #searchbox input[type="text"] {
|
|
|
|
width: 80%;
|
|
|
|
padding: 0.25em;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.sphinxsidebar #searchbox input[type="submit"] {
|
|
|
|
width: 20%;
|
|
|
|
padding: 0.25em;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.sphinxsidebar form {
|
|
|
|
margin-top: 10px;
|
|
|
|
}
|
|
|
|
|
2022-06-08 16:09:08 +00:00
|
|
|
div.sphinxsidebar h3 {
|
|
|
|
font-size: 1.4em;
|
|
|
|
font-weight: normal;
|
|
|
|
margin: 0;
|
|
|
|
padding: 0;
|
2022-01-13 18:51:25 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
div.sphinxsidebar h4 {
|
2023-08-25 15:13:35 +00:00
|
|
|
color: var(--secondary-link-color);
|
2022-01-13 18:51:25 +00:00
|
|
|
font-size: 1.3em;
|
|
|
|
font-weight: normal;
|
|
|
|
margin: 5px 0 0 0;
|
|
|
|
padding: 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.body h2 {
|
|
|
|
font-size: 160%;
|
|
|
|
}
|
|
|
|
|
2022-06-08 16:09:08 +00:00
|
|
|
a {
|
|
|
|
text-decoration: none;
|
|
|
|
}
|
|
|
|
|
2022-01-13 18:51:25 +00:00
|
|
|
a.headerlink {
|
|
|
|
font-size: 0.8em;
|
|
|
|
padding: 0 4px 0 4px;
|
|
|
|
visibility: hidden;
|
|
|
|
}
|
|
|
|
|
2022-06-08 16:00:22 +00:00
|
|
|
*:hover > a.headerlink {
|
2022-01-13 18:51:25 +00:00
|
|
|
visibility: visible;
|
|
|
|
}
|
2022-06-08 16:00:22 +00:00
|
|
|
|
|
|
|
a:hover, div.footer a {
|
2022-01-13 18:51:25 +00:00
|
|
|
text-decoration: underline;
|
|
|
|
}
|
|
|
|
|
2022-06-08 16:00:22 +00:00
|
|
|
div.related a, div.sphinxsidebar a {
|
2023-08-25 15:13:35 +00:00
|
|
|
color: var(--secondary-link-color);
|
2022-01-13 18:51:25 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
div.warning {
|
|
|
|
border: 1px solid #f66;
|
|
|
|
}
|
2022-06-08 16:00:22 +00:00
|
|
|
|
2023-01-14 13:19:46 +00:00
|
|
|
div.admonition, div.versionchanged {
|
2022-01-13 18:51:25 +00:00
|
|
|
padding: 7px;
|
|
|
|
}
|
2022-06-08 16:00:22 +00:00
|
|
|
|
2022-01-13 18:51:25 +00:00
|
|
|
p.admonition-title::after {
|
|
|
|
content: ":";
|
|
|
|
}
|
2022-06-08 16:00:22 +00:00
|
|
|
|
2023-01-14 13:19:46 +00:00
|
|
|
p.admonition-title, span.versionmodified {
|
2022-01-13 18:51:25 +00:00
|
|
|
display: inline;
|
|
|
|
font-weight: bold;
|
|
|
|
}
|
|
|
|
|
2022-06-08 16:55:23 +00:00
|
|
|
div.admonition p.admonition-title + p {
|
|
|
|
display: inline;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2022-01-13 18:51:25 +00:00
|
|
|
div.footer {
|
|
|
|
padding: 9px 0 9px 0;
|
|
|
|
font-size: 75%;
|
|
|
|
}
|
|
|
|
|
2022-06-08 16:55:23 +00:00
|
|
|
table.docutils {
|
|
|
|
border-collapse: collapse;
|
|
|
|
}
|
|
|
|
.align-default {
|
|
|
|
text-align: center;
|
|
|
|
}
|
|
|
|
|
|
|
|
th > :last-child, td > :last-child {
|
|
|
|
margin-bottom: 0px;
|
|
|
|
}
|
|
|
|
th > :first-child, td > :first-child {
|
|
|
|
margin-top: 0px;
|
|
|
|
}
|
2022-01-13 18:51:25 +00:00
|
|
|
/* End of SPHINX IMPORT */
|
|
|
|
|
2020-10-03 17:44:12 +00:00
|
|
|
div#fmain {
|
2023-08-25 15:13:35 +00:00
|
|
|
color: var(--text-color);
|
2022-02-27 17:00:09 +00:00
|
|
|
padding: 1em 2em;
|
2023-08-25 15:13:35 +00:00
|
|
|
background-color: var(--main-background);
|
2020-10-03 17:44:12 +00:00
|
|
|
border-radius: 14px;
|
|
|
|
position: relative;
|
2022-02-24 17:01:25 +00:00
|
|
|
margin: 1em auto 1em;
|
2020-10-03 17:44:12 +00:00
|
|
|
box-shadow: 0 0 5px 1px #333;
|
2022-02-27 17:00:09 +00:00
|
|
|
width: 90%;
|
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;
|
2023-08-25 15:13:35 +00:00
|
|
|
border-top: 1px solid;
|
|
|
|
border-color: var(--sidebar-border-color);
|
2020-10-03 17:44:12 +00:00
|
|
|
margin-top: 0;
|
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:first-child {
|
|
|
|
border-top: 0;
|
2023-08-25 15:13:35 +00:00
|
|
|
border-bottom: 1px solid;
|
|
|
|
border-color: var(--sidebar-border-color);
|
2020-10-02 17:23:08 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.inline-search {
|
|
|
|
display: inline;
|
|
|
|
}
|
|
|
|
form.inline-search input {
|
|
|
|
display: inline;
|
|
|
|
}
|
|
|
|
form.inline-search input[type="submit"] {
|
|
|
|
width: 40px;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.sphinxsidebar {
|
2023-08-25 15:13:35 +00:00
|
|
|
border-right: 1px solid;
|
|
|
|
border-color: var(--sidebar-border-color);
|
2021-01-25 21:57:21 +00:00
|
|
|
border-radius: 0px;
|
2022-02-24 17:01:25 +00:00
|
|
|
line-height: 1em;
|
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;
|
|
|
|
}
|
|
|
|
|
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;
|
|
|
|
}
|
|
|
|
|
2022-02-24 17:01:25 +00:00
|
|
|
ul li, div.body li {
|
|
|
|
line-height: 2em;
|
2021-06-03 17:30:45 +00:00
|
|
|
}
|
|
|
|
|
2023-06-28 14:29:14 +00:00
|
|
|
ul.simple p, ol.simple p {
|
2022-06-08 16:55:23 +00:00
|
|
|
/* See "special features" list on index.html */
|
|
|
|
margin-bottom: 0;
|
2023-06-28 14:29:14 +00:00
|
|
|
margin-top: 0;
|
2022-06-08 16:55:23 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
ul.simple > li:not(:first-child) > p {
|
|
|
|
margin-top: 0;
|
|
|
|
}
|
|
|
|
|
2023-06-28 14:29:14 +00:00
|
|
|
ul li dd {
|
|
|
|
/* nested lists will show up like this, the left margin is massive by default */
|
|
|
|
margin-left: 0;
|
|
|
|
}
|
|
|
|
|
2020-10-02 17:23:08 +00:00
|
|
|
form.inline-search input,
|
|
|
|
div.sphinxsidebar input {
|
2023-08-25 15:13:35 +00:00
|
|
|
border: 1px solid;
|
|
|
|
border-color: var(--sidebar-border-color);
|
2020-10-02 17:23:08 +00:00
|
|
|
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;
|
2022-01-13 18:51:25 +00:00
|
|
|
max-width: 800px;
|
2020-10-02 17:23:08 +00:00
|
|
|
}
|
|
|
|
|
2022-01-13 18:51:25 +00:00
|
|
|
|
2020-10-02 17:23:08 +00:00
|
|
|
div.body p {
|
2022-02-24 17:01:25 +00:00
|
|
|
line-height: 2em;
|
2022-03-11 19:14:47 +00:00
|
|
|
text-align: left;
|
2020-10-02 17:23:08 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
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;
|
|
|
|
}
|
|
|
|
|
2022-12-07 20:45:07 +00:00
|
|
|
div.body h3, div.body h4 {
|
2022-06-08 16:55:23 +00:00
|
|
|
font-size: 140%;
|
|
|
|
}
|
|
|
|
|
2020-10-02 17:23:08 +00:00
|
|
|
div.body hr {
|
|
|
|
border: 0;
|
|
|
|
background-color: #ccc;
|
|
|
|
height: 1px;
|
|
|
|
}
|
|
|
|
|
2022-06-01 18:58:27 +00:00
|
|
|
div.body pre, code {
|
2020-10-02 17:23:08 +00:00
|
|
|
border-radius: 3px;
|
2023-08-25 15:13:35 +00:00
|
|
|
border: 1px solid;
|
|
|
|
border-color: var(--code-border);
|
2020-10-02 17:23:08 +00:00
|
|
|
}
|
|
|
|
|
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;
|
|
|
|
}
|
|
|
|
|
2023-08-25 15:13:35 +00:00
|
|
|
a {
|
|
|
|
color: var(--link-color);
|
2020-10-02 17:23:08 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
div.body a:visited {
|
2023-08-25 15:13:35 +00:00
|
|
|
color: var(--visited-link-color);
|
2020-10-02 17:23:08 +00:00
|
|
|
}
|
|
|
|
|
2023-08-25 15:13:35 +00:00
|
|
|
div.related a:hover,
|
|
|
|
div.footer a:hover,
|
|
|
|
div.sphinxsidebar a:hover,
|
2020-10-02 17:23:08 +00:00
|
|
|
div.body a:hover {
|
2023-08-25 15:13:35 +00:00
|
|
|
color: var(--hover-link-color);
|
2020-10-02 17:23:08 +00:00
|
|
|
}
|
|
|
|
|
2022-01-12 17:43:45 +00:00
|
|
|
code {
|
|
|
|
/* Make inline-code better visible */
|
2023-08-25 15:13:35 +00:00
|
|
|
background-color: var(--code-background);
|
2022-01-12 17:43:45 +00:00
|
|
|
padding-left: 5px;
|
|
|
|
padding-right: 5px;
|
2022-06-01 15:29:57 +00:00
|
|
|
margin-left: 3px;
|
|
|
|
margin-right: 3px;
|
2022-01-12 17:43:45 +00:00
|
|
|
}
|
|
|
|
|
2023-08-25 15:13:35 +00:00
|
|
|
tt, code, pre, dl > dt span ~ em, #synopsis p, #synopsis code, .command, button {
|
2022-01-12 16:21:31 +00:00
|
|
|
/* Pick a monospace font.
|
|
|
|
ui-monospace is the monospace version of system-ui - the system's monospace font.
|
|
|
|
Unfortunately it's barely supported anywhere (at time of writing only Safari does!),
|
|
|
|
and because monospace has the same limitations as sans-serif - Browser defaults are awful -
|
|
|
|
we hardcode a list of normal monospace fonts.
|
|
|
|
SFMono is San Francisco, Apple's font. Menlo is an older Apple one.
|
|
|
|
Consolas is a Windows font.
|
|
|
|
Ubuntu is the ubuntu monospace version, Hack is the default KDE monospace font,
|
|
|
|
Liberation is an arial-like.
|
|
|
|
|
|
|
|
NOTE: Under no circumstances can "Source Code Pro" appear in this list for a while as it had massive bugs on macOS.
|
|
|
|
It would not appear at all when colored.
|
|
|
|
This is unfortunate because it's the default Gnome monospace font.
|
|
|
|
Instead we use Noto, which is a common monospace font that is often installed for emoji support.
|
|
|
|
*/
|
|
|
|
font-family: ui-monospace, SFMono-Regular, SF Mono, Menlo, Consolas, "Ubuntu Mono", "Hack", "Noto Sans Mono", Liberation Mono, monospace;
|
2021-11-06 19:30:51 +00:00
|
|
|
}
|
2021-11-05 12:14:02 +00:00
|
|
|
|
2022-11-10 02:31:04 +00:00
|
|
|
/* We don't want the prompt char or the following white space to be selected - that's annoying. */
|
|
|
|
.highlight .gp, .highlight .gp + .w {
|
|
|
|
-webkit-touch-callout: none;
|
|
|
|
-webkit-user-select: none;
|
|
|
|
-khtml-user-select: none;
|
|
|
|
-moz-user-select: none;
|
|
|
|
-ms-user-select: none;
|
|
|
|
user-select: none;
|
|
|
|
cursor: default;
|
|
|
|
}
|
|
|
|
|
2021-12-25 00:01:53 +00:00
|
|
|
#synopsis .line {
|
2022-02-24 17:01:25 +00:00
|
|
|
line-height: 1em;
|
2021-12-25 00:01:53 +00:00
|
|
|
}
|
|
|
|
|
2022-06-01 18:58:27 +00:00
|
|
|
div.body tt {
|
2020-10-02 17:23:08 +00:00
|
|
|
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 {
|
2023-08-25 15:13:35 +00:00
|
|
|
border: 1px solid;
|
|
|
|
border-color: var(--sidebar-border-color);
|
2020-10-02 17:23:08 +00:00
|
|
|
min-width: 20%;
|
|
|
|
border-radius: 3px;
|
2022-02-24 17:01:25 +00:00
|
|
|
margin-top: 1em;
|
|
|
|
margin-bottom: 1em;
|
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 {
|
2023-08-25 15:13:35 +00:00
|
|
|
border: 1px solid;
|
|
|
|
border-color: var(--sidebar-border-color);
|
2020-10-02 17:23:08 +00:00
|
|
|
border-radius: 3px;
|
|
|
|
}
|
|
|
|
|
|
|
|
table p, table li {
|
|
|
|
text-align: left !important;
|
|
|
|
}
|
|
|
|
|
2023-08-25 15:13:35 +00:00
|
|
|
th {
|
|
|
|
background-color: var(--secondary-background);
|
2020-10-02 17:23:08 +00:00
|
|
|
padding: 0.3em 0.5em;
|
|
|
|
}
|
|
|
|
|
|
|
|
table.docutils td {
|
2023-08-25 15:13:35 +00:00
|
|
|
background-color: var(--td-background);
|
2020-10-02 17:23:08 +00:00
|
|
|
padding: 0.3em 0.5em;
|
|
|
|
}
|
|
|
|
|
|
|
|
table.footnote, table.footnote td {
|
|
|
|
border: 0 !important;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.footer {
|
2022-02-24 17:01:25 +00:00
|
|
|
line-height: 1em;
|
2020-10-02 17:23:08 +00:00
|
|
|
margin-top: -2em;
|
|
|
|
text-align: right;
|
|
|
|
width: auto;
|
|
|
|
margin-right: 10px;
|
|
|
|
}
|
|
|
|
|
|
|
|
.highlight {
|
2023-08-25 15:13:35 +00:00
|
|
|
background: var(--highlight-background);
|
2020-10-02 17:23:08 +00:00
|
|
|
}
|
|
|
|
|
2021-11-04 20:23:22 +00:00
|
|
|
#synopsis p {
|
2021-11-05 23:34:34 +00:00
|
|
|
font-size: 12pt;
|
2021-11-04 20:23:22 +00:00
|
|
|
}
|
|
|
|
|
2021-11-05 12:14:02 +00:00
|
|
|
dl.envvar, dl.describe {
|
|
|
|
font-size: 11pt;
|
2022-02-24 17:01:25 +00:00
|
|
|
font-weight: normal;
|
|
|
|
|
|
|
|
}
|
2021-11-05 12:14:02 +00:00
|
|
|
|
2022-02-24 17:01:25 +00:00
|
|
|
div.sphinxsidebar ul {
|
|
|
|
margin: 1em 10px 1em 10px;
|
2021-11-05 12:14:02 +00:00
|
|
|
}
|
|
|
|
|
2022-06-01 15:48:51 +00:00
|
|
|
|
|
|
|
div.bodywrapper {
|
2022-06-01 18:54:02 +00:00
|
|
|
margin-left: 230px;
|
2022-06-01 15:48:51 +00:00
|
|
|
}
|
|
|
|
|
2022-06-08 17:08:42 +00:00
|
|
|
aside.footnote > .label {
|
|
|
|
display: inline;
|
|
|
|
}
|
|
|
|
|
|
|
|
aside.footnote > p {
|
|
|
|
display: inline-block;
|
|
|
|
line-height: 1.5em;
|
|
|
|
}
|
|
|
|
|
2023-03-27 15:21:09 +00:00
|
|
|
div.documentwrapper {
|
|
|
|
width: 100%;
|
|
|
|
}
|
|
|
|
|
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;
|
|
|
|
}
|
2022-06-01 18:54:02 +00:00
|
|
|
div.bodywrapper {
|
|
|
|
margin-left: 0;
|
|
|
|
}
|
|
|
|
|
2021-05-27 20:02:48 +00:00
|
|
|
|
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.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
|
|
|
|
2024-01-06 17:11:19 +00:00
|
|
|
/* On print media remove anything non-essential. */
|
|
|
|
@media print {
|
|
|
|
.inline-search {
|
|
|
|
display: none;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.sphinxsidebar {
|
|
|
|
display: none;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.bodywrapper {
|
|
|
|
margin-left: 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.sphinxsidebar ul {
|
|
|
|
flex-basis: content;
|
|
|
|
flex-wrap: wrap;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.sphinxsidebarwrapper {
|
|
|
|
display: flex;
|
|
|
|
}
|
|
|
|
|
|
|
|
div#searchbox {
|
|
|
|
display: none !important;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.body {
|
|
|
|
padding: 1rem;
|
|
|
|
}
|
|
|
|
|
|
|
|
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;
|
|
|
|
}
|
|
|
|
|
|
|
|
div.footer {
|
|
|
|
margin: 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Avoid splitting code blocks across multiple pages. */
|
|
|
|
pre {
|
|
|
|
page-break-inside: avoid;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Show section numbers. */
|
|
|
|
.body {
|
|
|
|
counter-reset: section;
|
|
|
|
}
|
|
|
|
|
|
|
|
h2::before {
|
|
|
|
counter-increment: section;
|
|
|
|
content: counter(section) ". ";
|
|
|
|
font-weight: normal;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
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; }
|
2023-06-20 17:43:09 +00:00
|
|
|
.green { color: #00FF00; }
|
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. */
|
2022-11-10 02:31:04 +00:00
|
|
|
.prompt { color: #8f7902; }
|
2021-03-02 15:49:23 +00:00
|
|
|
|
|
|
|
kbd {
|
2023-08-25 15:13:35 +00:00
|
|
|
background-color: var(--td-background);
|
2021-03-02 15:49:23 +00:00
|
|
|
}
|
2021-06-02 15:12:02 +00:00
|
|
|
|
2023-10-18 16:35:02 +00:00
|
|
|
div.body a {
|
2021-11-12 17:47:56 +00:00
|
|
|
/* Underline links in the body of the text */
|
2021-11-06 21:08:23 +00:00
|
|
|
text-decoration: underline;
|
|
|
|
}
|
|
|
|
.std-envvar::before {
|
|
|
|
content: "$";
|
|
|
|
}
|
2021-06-02 15:48:16 +00:00
|
|
|
.footnote, .footnote-reference {
|
2023-08-25 15:13:35 +00:00
|
|
|
background-color: var(--secondary-background);
|
2021-06-02 15:12:02 +00:00
|
|
|
font-size: 90%;
|
|
|
|
}
|
2021-06-02 15:12:35 +00:00
|
|
|
|
|
|
|
@media (prefers-color-scheme: dark) {
|
2023-08-25 15:13:35 +00:00
|
|
|
:root {
|
|
|
|
--link-color: #5fb0fc;
|
|
|
|
--text-color: #DDD;
|
|
|
|
--main-background: #202028;
|
|
|
|
--secondary-background: #112;
|
|
|
|
--outer-background: linear-gradient(to top, #1f1f3f 0%,#051f3a 100%);
|
|
|
|
--code-background: rgba(20, 20, 25, .2);
|
|
|
|
--code-border: #536;
|
|
|
|
--sidebar-border-color: #666;
|
|
|
|
--secondary-link-color: #DDD;
|
|
|
|
--highlight-background: #000;
|
|
|
|
--td-background: #111;
|
2021-06-02 16:59:42 +00:00
|
|
|
}
|
2023-08-25 15:13:35 +00:00
|
|
|
|
2021-06-02 15:12:35 +00:00
|
|
|
div#fmain {
|
|
|
|
box-shadow: 0 0 5px 1px #000;
|
|
|
|
}
|
|
|
|
|
|
|
|
kbd {
|
|
|
|
box-shadow: 0.1em 0.1em 0.2em rgba(100,100,100,0.1);
|
|
|
|
color: #FFF;
|
|
|
|
}
|
|
|
|
|
|
|
|
table.docutils td {
|
|
|
|
background-color: #111;
|
|
|
|
}
|
2022-03-29 05:33:06 +00:00
|
|
|
|
2021-07-01 15:33:40 +00:00
|
|
|
/* Color based on the Name.Function (.nf) class from pygments.css. */
|
|
|
|
.command { color: #008fd7 }
|
2021-06-02 15:12:35 +00:00
|
|
|
}
|