summaryrefslogtreecommitdiffstats
path: root/doc/_themes/sphinx13
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--doc/_themes/sphinx13/layout.html60
-rw-r--r--doc/_themes/sphinx13/static/sphinx13.css357
-rw-r--r--doc/_themes/sphinx13/static/sphinxheader.pngbin0 -> 11719 bytes
-rw-r--r--doc/_themes/sphinx13/theme.conf4
4 files changed, 421 insertions, 0 deletions
diff --git a/doc/_themes/sphinx13/layout.html b/doc/_themes/sphinx13/layout.html
new file mode 100644
index 0000000..afab369
--- /dev/null
+++ b/doc/_themes/sphinx13/layout.html
@@ -0,0 +1,60 @@
+{# Sphinx layout template for the sphinxdoc theme. #}
+{%- extends "basic/layout.html" %}
+
+{% block extrahead %}
+{{ super() }}
+{%- if not embedded and pagename == 'index' %}
+<style>.related { display: none; }</style>
+{%- endif %}
+{% endblock %}
+
+{% block header %}
+<div class="pageheader">
+<a href="{{ pathto('index') }}">
+ <img src="{{ pathto('_static/sphinxheader.png', 1) }}" alt="SPHINX" />
+</a>
+</div>
+{% endblock %}
+
+{%- block relbar1 %}
+<div class="related" role="navigation" aria-label="related navigation">
+ <h3>{{ _('Navigation') }}</h3>
+ <ul>
+ <li><a href="{{ pathto('index') }}">Documentation</a> &raquo;</li>
+ {%- for parent in parents %}
+ <li class="nav-item nav-item-{{ loop.index }}"><a href="{{ parent.link|e }}" {% if loop.last %}{{ accesskey("U") }}{% endif %}>{{ parent.title }}</a>{{ reldelim1 }}</li>
+ {%- endfor %}
+ <li class="nav-item nav-item-this"><a href="{{ link|e }}">{{ title }}</a></li>
+ </ul>
+</div>
+{% endblock %}
+
+{%- block content %}
+<div class="document">
+ <div class="sphinxsidebar" role="navigation" aria-label="main navigation">
+ {%- include "searchbox.html" %}
+ <div class="sphinxsidebar-navigation__contents">
+ <h3>{{ _('On this page') }}</h3>
+ {{ toc }}
+ </div>
+ <div class="sphinxsidebar-navigation__pages">
+ <h3>{{ _('Site navigation') }}</h3>
+ {{ toctree(includehidden=True, maxdepth=3, titles_only=True) }}
+ </div>
+ </div>
+ {%- block document %}
+ <div class="body" role="main">
+ {% block body %}{% endblock %}
+ </div>
+ {%- endblock %}
+</div>
+{%- endblock %}
+
+{%- block relbar2 %}{% endblock %}
+
+{%- block footer %}
+<div class="footer" role="contentinfo">
+ {% trans path=pathto('copyright'), copyright=copyright|e %}&#169; <a href="{{ path }}">Copyright</a> {{ copyright }}.{% endtrans %}
+ {% trans sphinx_version=sphinx_version|e %}Created using <a href="https://www.sphinx-doc.org/">Sphinx</a> {{ sphinx_version }}.{% endtrans %}
+</div>
+{%- endblock %}
diff --git a/doc/_themes/sphinx13/static/sphinx13.css b/doc/_themes/sphinx13/static/sphinx13.css
new file mode 100644
index 0000000..397c1f7
--- /dev/null
+++ b/doc/_themes/sphinx13/static/sphinx13.css
@@ -0,0 +1,357 @@
+/* Stylesheet for Sphinx's documentation */
+
+/* Set master colours */
+:root {
+ --fonts-sans-serif: -apple-system, BlinkMacSystemFont, "Segoe UI", Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji";
+ --colour-sphinx-blue: #0A507A;
+ --colour-text: #333;
+ --colour-links-light: #057;
+}
+
+body {
+ font-family: var(--fonts-sans-serif);
+ margin: 0 auto;
+ color: var(--colour-text);
+}
+
+.pageheader {
+ background-color: var(--colour-sphinx-blue);
+ padding: 10px 15px;
+}
+
+div.document {
+ display: flex;
+ margin: 0 0.5em;
+}
+
+div.body {
+ border-left: 1px solid var(--colour-sphinx-blue);
+ margin: 0;
+ padding: 0.5em 1.75em;
+ min-width: 0;
+ max-width: 800px;
+}
+
+div.related {
+ display: flex;
+ color: white;
+ background-color: var(--colour-sphinx-blue);
+ border-top: 1px solid #002e50;
+}
+
+div.related ul li {
+ margin: 0 5px 0 0;
+ float: left;
+}
+
+div.related ul li a {
+ padding: 0 5px 0 5px;
+ line-height: 1.75em;
+ color: white;
+}
+
+div.related ul li a:hover {
+ text-shadow: 0 0 1px rgba(255, 255, 255, 0.5);
+}
+
+div.sphinxsidebarwrapper {
+ padding: 0;
+}
+
+div.sphinxsidebar {
+ position: sticky;
+ top: 0;
+ align-self: flex-start;
+ height: 100vh;
+ width: 250px;
+ overflow-y: auto;
+ overflow-wrap: break-word;
+ margin: 0;
+ padding-right: 15px;
+ font-size: 1em;
+}
+
+div.sphinxsidebar h3 {
+ font-size: 1.5em;
+ margin-top: 0;
+ margin-bottom: 0.5em;
+ padding-top: 0.5em;
+}
+
+div.sphinxsidebar h4 {
+ font-size: 1.2em;
+ margin-bottom: 0;
+}
+
+div.sphinxsidebar h3, div.sphinxsidebar h4 {
+ margin-right: -15px;
+ margin-left: -15px;
+ padding-right: 14px;
+ padding-left: 14px;
+ color: #333;
+ font-weight: 300;
+}
+
+div.sphinxsidebar h3 a {
+ color: #333;
+}
+
+div.sphinxsidebar ul {
+ color: #444;
+ margin-top: 7px;
+ padding: 0;
+ line-height: 130%;
+}
+
+div.sphinxsidebar ul ul {
+ margin-left: 1rem;
+ list-style-type: none;
+ font-size: .9em;
+}
+
+/* De-dent the first list because we hide the top-level item */
+.sphinxsidebar .sphinxsidebar-navigation__contents > ul > li > ul {
+ margin-left: 0;
+}
+
+div.sphinxsidebar p.caption {
+ font-weight: 300;
+ font-size: 1.2rem;
+}
+
+div.sphinxsidebar li.current > a {
+ font-weight: 600;
+}
+
+.sphinxsidebar-navigation__contents > ul > li > a {
+ display: none;
+}
+
+div.footer {
+ background-color: var(--colour-sphinx-blue);
+ color: #ccc;
+ text-shadow: 0 0 .2px rgba(255, 255, 255, 0.8);
+ padding: 3px 8px 3px 8px;
+ clear: both;
+ font-size: 0.8em;
+}
+
+/* no need to make a visible link to Sphinx on the Sphinx page */
+div.footer a {
+ color: #ccc;
+}
+
+/* -- body styles ----------------------------------------------------------- */
+
+p {
+ margin: 0.8em 0 0.5em 0;
+}
+
+a {
+ color: var(--colour-links-light);
+ text-decoration: none;
+}
+
+div.body a {
+ text-decoration: underline;
+}
+
+h1 {
+ margin: 10px 0 0 0;
+ font-size: 2.4em;
+ color: var(--colour-sphinx-blue);
+ font-weight: 300;
+}
+
+h1 span.pre {
+ /* for code in titles */
+ word-break: break-all;
+ white-space: normal;
+}
+
+h2 {
+ margin: 1em 0 0.2em 0;
+ font-size: 1.5em;
+ font-weight: 300;
+ padding: 0;
+ color: #174967;
+}
+
+h3 {
+ margin: 1em 0 -0.3em 0;
+ font-size: 1.3em;
+ font-weight: 300;
+}
+
+div.body h1 a, div.body h2 a, div.body h3 a, div.body h4 a, div.body h5 a, div.body h6 a {
+ text-decoration: none;
+}
+
+div.body h1 a tt, div.body h2 a tt, div.body h3 a tt, div.body h4 a tt, div.body h5 a tt, div.body h6 a tt {
+ color: var(--colour-sphinx-blue) !important;
+ font-size: inherit !important;
+}
+
+a.headerlink {
+ color: var(--colour-sphinx-blue) !important;
+ font-size: .8em;
+ margin-left: 6px;
+ padding: 0 4px 0 4px;
+ text-decoration: none !important;
+}
+
+a.headerlink:hover {
+ background-color: #ccc;
+ color: white!important;
+}
+
+/* avoid font-size when :mod: role in headings */
+h1 code, h2 code, h3 code, h4 code {
+ font-size: inherit;
+}
+
+cite, code, tt {
+ font-family: 'Consolas', 'DejaVu Sans Mono',
+ 'Bitstream Vera Sans Mono', monospace;
+ font-size: 1em;
+ letter-spacing: -0.02em;
+}
+
+table.deprecated code.literal {
+ word-break: break-all;
+}
+
+tt {
+ background-color: #f2f2f2;
+ border: 1px solid #ddd;
+ border-radius: 2px;
+ color: #333;
+ padding: 1px 0.2em;
+}
+
+tt.descname, tt.descclassname, tt.xref {
+ border: 0;
+}
+
+hr {
+ border: 1px solid #abc;
+ margin: 2em;
+}
+
+a tt {
+ border: 0;
+ color: var(--colour-links-light);
+}
+
+pre {
+ font-family: 'Consolas', 'Courier New', 'DejaVu Sans Mono',
+ 'Bitstream Vera Sans Mono', monospace;
+ font-size: 1em;
+ letter-spacing: 0.015em;
+ line-height: 120%;
+ padding: 0.5em;
+ border: 1px solid #ccc;
+ border-radius: 2px;
+ background-color: #f8f8f8;
+}
+
+pre a {
+ color: inherit;
+ text-decoration: underline;
+}
+
+td.linenos pre {
+ padding: 0.5em 0;
+}
+
+div.quotebar {
+ background-color: #f8f8f8;
+ max-width: 250px;
+ float: right;
+ padding: 0px 7px;
+ border: 1px solid #ccc;
+ margin-left: 1em;
+}
+
+blockquote.epigraph {
+ font-size: 1.5em;
+ padding-left: 1rem;
+ margin-left: 0;
+}
+
+nav.contents,
+div.topic,
+aside.topic {
+ background-color: #f8f8f8;
+}
+
+table {
+ border-collapse: collapse;
+ margin: 0 -0.5em 0 -0.5em;
+}
+
+table td, table th {
+ padding: 0.2em 0.5em 0.2em 0.5em;
+}
+
+div.admonition, div.warning {
+ font-size: 0.9em;
+ margin: 1em 0 1em 0;
+ border: 1px solid #86989B;
+ border-radius: 2px;
+ background-color: #f7f7f7;
+ padding: 1rem;
+}
+
+div.admonition > p, div.warning > p {
+ margin: 0;
+ padding: 0;
+}
+
+div.admonition > pre, div.warning > pre {
+ margin: 0.4em 1em 0.4em 1em;
+}
+
+div.admonition > p.admonition-title,
+div.warning > p.admonition-title {
+ font-weight: bold;
+}
+
+div.warning {
+ border: 1px solid #940000;
+}
+
+div.admonition > ul,
+div.admonition > ol,
+div.warning > ul,
+div.warning > ol {
+ margin: 0.1em 0.5em 0.5em 3em;
+ padding: 0;
+}
+
+div.admonition div.highlight {
+ background: none;
+}
+
+.viewcode-back {
+ font-family: var(--fonts-sans-serif);
+}
+
+div.viewcode-block:target {
+ background-color: #f4debf;
+ border-top: 1px solid #ac9;
+ border-bottom: 1px solid #ac9;
+}
+
+
+/* media queries */
+
+/* Reduce padding & margins for smaller screens */
+@media (max-width: 750px) {
+ .sphinxsidebar {
+ display: none;
+ }
+ div.body {
+ border-left: none;
+ }
+}
diff --git a/doc/_themes/sphinx13/static/sphinxheader.png b/doc/_themes/sphinx13/static/sphinxheader.png
new file mode 100644
index 0000000..845da4a
--- /dev/null
+++ b/doc/_themes/sphinx13/static/sphinxheader.png
Binary files differ
diff --git a/doc/_themes/sphinx13/theme.conf b/doc/_themes/sphinx13/theme.conf
new file mode 100644
index 0000000..78bb78f
--- /dev/null
+++ b/doc/_themes/sphinx13/theme.conf
@@ -0,0 +1,4 @@
+[theme]
+inherit = basic
+pygments_style = default
+sidebars =
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-22 19:42:30 +0000