Add missing style artifacts.

doc/.sphinx/_static/custom.css

@@ -0,0 +1,189 @@
+/** Fix the font weight (300 for normal, 400 for slightly bold) **/
+
+div.page, h1, h2, h3, h4, h5, h6, .sidebar-tree .current-page>.reference, button, input, optgroup, select, textarea, th.head {
+    font-weight: 300
+}
+
+.toc-tree li.scroll-current>.reference, dl.glossary dt, dl.simple dt, dl:not([class]) dt {
+    font-weight: 400;
+}
+
+/** Table styling **/
+
+th.head {
+    text-transform: uppercase;
+    font-size: var(--font-size--small);
+}
+
+table.docutils {
+    border: 0;
+    box-shadow: none;
+    width:100%;
+}
+
+table.docutils td, table.docutils th, table.docutils td:last-child, table.docutils th:last-child, table.docutils td:first-child, table.docutils th:first-child {
+    border-right: none;
+    border-left: none;
+}
+
+/* Allow to centre text horizontally in table data cells */
+table.align-center {
+    text-align: center !important;
+}
+
+/** No rounded corners **/
+
+.admonition, code.literal, .sphinx-tabs-tab, .sphinx-tabs-panel, .highlight {
+    border-radius: 0;
+}
+
+/** Admonition styling **/
+
+.admonition {
+    border-top: 1px solid #d9d9d9;
+    border-right: 1px solid #d9d9d9;
+    border-bottom: 1px solid #d9d9d9;
+}
+
+/** Color for the "copy link" symbol next to headings **/
+
+a.headerlink {
+    color: var(--color-brand-primary);
+}
+
+/** Line to the left of the current navigation entry **/
+
+.sidebar-tree li.current-page {
+    border-left: 2px solid var(--color-brand-primary);
+}
+
+/** Some tweaks for issue #16 **/
+
+[role="tablist"] {
+    border-bottom: 1px solid var(--color-sidebar-item-background--hover);
+}
+
+.sphinx-tabs-tab[aria-selected="true"] {
+    border: 0;
+    border-bottom: 2px solid var(--color-brand-primary);
+    background-color: var(--color-sidebar-item-background--current);
+    font-weight:300;
+}
+
+.sphinx-tabs-tab{
+    color: var(--color-brand-primary);
+    font-weight:300;
+}
+
+.sphinx-tabs-panel {
+    border: 0;
+    border-bottom: 1px solid var(--color-sidebar-item-background--hover);
+    background: var(--color-background-primary);
+}
+
+button.sphinx-tabs-tab:hover {
+    background-color: var(--color-sidebar-item-background--hover);
+}
+
+/** Custom classes to fix scrolling in tables by decreasing the
+    font size or breaking certain columns.
+    Specify the classes in the Markdown file with, for example:
+    ```{rst-class} break-col-4 min-width-4-8
+    ```
+**/
+
+table.dec-font-size {
+    font-size: smaller;
+}
+table.break-col-1 td.text-left:first-child {
+    word-break: break-word;
+}
+table.break-col-4 td.text-left:nth-child(4) {
+    word-break: break-word;
+}
+table.min-width-1-15 td.text-left:first-child {
+    min-width: 15em;
+}
+table.min-width-4-8 td.text-left:nth-child(4) {
+    min-width: 8em;
+}
+
+/** Underline for abbreviations **/
+
+abbr[title] {
+    text-decoration: underline solid #cdcdcd;
+}
+
+/** Use the same style for right-details as for left-details **/
+.bottom-of-page .right-details {
+    font-size: var(--font-size--small);
+    display: block;
+}
+
+/** Version switcher */
+button.version_select {
+  color: var(--color-foreground-primary);
+  background-color: var(--color-toc-background);
+  padding: 5px 10px;
+  border: none;
+}
+
+.version_select:hover, .version_select:focus {
+    background-color: var(--color-sidebar-item-background--hover);
+}
+
+.version_dropdown {
+  position: relative;
+  display: inline-block;
+  text-align: right;
+  font-size: var(--sidebar-item-font-size);
+}
+
+.available_versions {
+  display: none;
+  position: absolute;
+  right: 0px;
+  background-color: var(--color-toc-background);
+  box-shadow: 0px 8px 16px 0px rgba(0,0,0,0.2);
+  z-index: 11;
+}
+
+.available_versions a {
+  color: var(--color-foreground-primary);
+  padding: 12px 16px;
+  text-decoration: none;
+  display: block;
+}
+
+.available_versions a:hover {background-color: var(--color-sidebar-item-background--current)}
+
+.show {display:block;}
+
+/** Fix for nested numbered list - the nested list is lettered **/
+ol.arabic ol.arabic {
+  list-style: lower-alpha;
+}
+
+/** Make expandable sections look like links **/
+details summary {
+    color: var(--color-link);
+}
+
+/** Fix the styling of the version box for readthedocs **/
+
+#furo-readthedocs-versions .rst-versions, #furo-readthedocs-versions .rst-current-version, #furo-readthedocs-versions:focus-within .rst-current-version, #furo-readthedocs-versions:hover .rst-current-version  {
+    background: var(--color-sidebar-item-background--hover);
+}
+
+.rst-versions .rst-other-versions dd a {
+    color: var(--color-link);
+}
+
+#furo-readthedocs-versions:focus-within .rst-current-version .fa-book, #furo-readthedocs-versions:hover .rst-current-version .fa-book, .rst-versions .rst-other-versions {
+    color: var(--color-sidebar-link-text);
+}
+
+.rst-versions .rst-current-version {
+    color: var(--color-version-popup);
+    font-weight: bolder;
+}

doc/.sphinx/_static/furo_colors.css

@@ -0,0 +1,88 @@
+body {
+    --color-code-background: #f8f8f8;
+    --color-code-foreground: black;
+    --font-stack: Ubuntu, -apple-system, Segoe UI, Roboto, Oxygen, Cantarell, Fira Sans, Droid Sans, Helvetica Neue, sans-serif;
+    --font-stack--monospace: Ubuntu Mono, Consolas, Monaco, Courier, monospace;
+    --color-foreground-primary: #111;
+    --color-foreground-secondary: var(--color-foreground-primary);
+    --color-foreground-muted: #333;
+    --color-background-secondary: #FFF;
+    --color-background-hover: #f2f2f2;
+    --color-brand-primary: #111;
+    --color-brand-content: #06C;
+    --color-api-background: #cdcdcd;
+    --color-inline-code-background: rgba(0,0,0,.03);
+    --color-sidebar-link-text: #111;
+    --color-sidebar-item-background--current: #ebebeb;
+    --color-sidebar-item-background--hover: #f2f2f2;
+    --toc-font-size: var(--font-size--small);
+    --color-admonition-title-background--note: var(--color-background-primary);
+    --color-admonition-title-background--tip: var(--color-background-primary);
+    --color-admonition-title-background--important: var(--color-background-primary);
+    --color-admonition-title-background--caution: var(--color-background-primary);
+    --color-admonition-title--note: #24598F;
+    --color-admonition-title--tip: #24598F;
+    --color-admonition-title--important: #C7162B;
+    --color-admonition-title--caution: #F99B11;
+    --color-highlighted-background: #EbEbEb;
+    --color-link-underline: var(--color-background-primary);
+    --color-link-underline--hover: var(--color-background-primary);
+    --color-version-popup: #772953;
+}
+
+@media not print {
+    body[data-theme="dark"] {
+        --color-code-background: #202020;
+        --color-code-foreground: #d0d0d0;
+        --color-foreground-secondary: var(--color-foreground-primary);
+        --color-foreground-muted: #CDCDCD;
+        --color-background-secondary: var(--color-background-primary);
+        --color-background-hover: #666;
+        --color-brand-primary: #fff;
+        --color-brand-content: #06C;
+        --color-sidebar-link-text: #f7f7f7;
+        --color-sidebar-item-background--current: #666;
+        --color-sidebar-item-background--hover: #333;
+        --color-admonition-background: transparent;
+        --color-admonition-title-background--note: var(--color-background-primary);
+        --color-admonition-title-background--tip: var(--color-background-primary);
+        --color-admonition-title-background--important: var(--color-background-primary);
+        --color-admonition-title-background--caution: var(--color-background-primary);
+        --color-admonition-title--note: #24598F;
+        --color-admonition-title--tip: #24598F;
+        --color-admonition-title--important: #C7162B;
+        --color-admonition-title--caution: #F99B11;
+        --color-highlighted-background: #666;
+        --color-link-underline: var(--color-background-primary);
+        --color-link-underline--hover: var(--color-background-primary);
+        --color-version-popup: #F29879;
+    }
+    @media (prefers-color-scheme: dark) {
+        body:not([data-theme="light"]) {
+            --color-code-background: #202020;
+            --color-code-foreground: #d0d0d0;
+            --color-foreground-secondary: var(--color-foreground-primary);
+            --color-foreground-muted: #CDCDCD;
+            --color-background-secondary: var(--color-background-primary);
+            --color-background-hover: #666;
+            --color-brand-primary: #fff;
+            --color-brand-content: #06C;
+            --color-sidebar-link-text: #f7f7f7;
+            --color-sidebar-item-background--current: #666;
+            --color-sidebar-item-background--hover: #333;
+            --color-admonition-background: transparent;
+            --color-admonition-title-background--note: var(--color-background-primary);
+            --color-admonition-title-background--tip: var(--color-background-primary);
+            --color-admonition-title-background--important: var(--color-background-primary);
+            --color-admonition-title-background--caution: var(--color-background-primary);
+            --color-admonition-title--note: #24598F;
+            --color-admonition-title--tip: #24598F;
+            --color-admonition-title--important: #C7162B;
+            --color-admonition-title--caution: #F99B11;
+            --color-highlighted-background: #666;
+            --color-link-underline: var(--color-background-primary);
+            --color-link-underline--hover: var(--color-background-primary);
+            --color-version-popup: #F29879;
+        }
+    }
+}

doc/.sphinx/_static/github_issue_links.css

@@ -0,0 +1,24 @@
+.github-issue-link-container {
+    padding-right: 0.5rem;
+}
+.github-issue-link {
+    font-size: var(--font-size--small);
+    font-weight: bold;
+    background-color: #DD4814;
+    padding: 13px 23px;
+    text-decoration: none;
+}
+.github-issue-link:link {
+    color: #FFFFFF;
+}
+.github-issue-link:visited {
+    color: #FFFFFF
+}
+.muted-link.github-issue-link:hover {
+    color: #FFFFFF;
+    text-decoration: underline;
+}
+.github-issue-link:active {
+    color: #FFFFFF;
+    text-decoration: underline;
+}

doc/.sphinx/_static/github_issue_links.js

@@ -0,0 +1,34 @@
+// if we already have an onload function, save that one
+var prev_handler = window.onload;
+
+window.onload = function() {
+    // call the previous onload function
+    if (prev_handler) {
+        prev_handler();
+    }
+
+    const link = document.createElement("a");
+    link.classList.add("muted-link");
+    link.classList.add("github-issue-link");
+    link.text = "Give feedback";
+    link.href = (
+        github_url
+        + "/issues/new?"
+        + "title=docs%3A+TYPE+YOUR+QUESTION+HERE"
+        + "&body=*Please describe the question or issue you're facing with "
+        + `"${document.title}"`
+        + ".*"
+        + "%0A%0A%0A%0A%0A"
+        + "---"
+        + "%0A"
+        + `*Reported+from%3A+${location.href}*`
+    );
+    link.target = "_blank";
+
+    const div = document.createElement("div");
+    div.classList.add("github-issue-link-container");
+    div.append(link)
+
+    const container = document.querySelector(".article-container > .content-icon-container");
+    container.prepend(div);
+};

doc/.sphinx/_static/header-nav.js

@@ -0,0 +1,10 @@
+$(document).ready(function() {
+    $(document).on("click", function () {
+        $(".more-links-dropdown").hide();
+    });
+
+    $('.nav-more-links').click(function(event) {
+        $('.more-links-dropdown').toggle();
+        event.stopPropagation();
+    });
+})