1 files changed, 173 insertions, 0 deletions
diff --git a/doc/base/style.css b/doc/base/style.css
new file mode 100644
index 0000000..66349cb
--- /dev/null
+++ b/doc/base/style.css
@@ -0,0 +1,173 @@
+@import "/pygments-light.css" (prefers-color-scheme: light);
+@import "/pygments-dark.css" (prefers-color-scheme: dark);
+:root {
+    --overlay-bg: #8881;
+    --overlay-border: #8884;
+}
+
+/* Default font and layout */
+html {
+    box-sizing: border-box;
+    font-size: clamp(100%, 2vw, 150%);
+    margin: auto;
+    max-width: 36rem;
+}
+
+body { margin: 0 1rem }
+
+/* Text geometry */
+p, details {
+    hyphens: auto;
+    text-align: justify;
+}
+
+/* Headings */
+h2 a, h3 a, h4 a, h5 a, h6 a { color: CanvasText }
+
+.toc ol ol {
+    list-style-type: lower-alpha;
+}
+
+/* General formatting */
+li p { margin: 0 }
+a { text-decoration: none }
+p a:hover { text-decoration: underline }
+
+sup.footnote-ref > a::before { content: '[' }
+sup.footnote-ref > a::after { content: ']' }
+section.footnotes {
+    font-size: 80%;
+    border: none;
+    margin: 1ex 0;
+}
+section.footnotes > ol {
+    counter-reset: list;
+    list-style-position: inside;
+    padding-left: 0;
+}
+section.footnotes > ol > li { counter-increment: list }
+section.footnotes > ol > li::marker {
+    content: "[" counter(list, digit) "]\a0";
+}
+
+/* Images */
+figure {
+    margin: 0;
+    text-align: center;
+}
+img {
+    display: block;
+    margin: auto;
+    max-width: 100%;
+}
+
+/* Boxes */
+blockquote, .note {
+    margin: 1ex -1rem;
+    padding-bottom: 1ex;
+    padding-left: 0.75rem;
+    padding-right: 1rem;
+    padding-top: 1ex;
+}
+blockquote p, .note p { margin: 1ex 0 }
+.note p:first-child { font-weight: bold }
+blockquote {
+    background: var(--overlay-bg);
+    border-left: 0.25rem solid var(--overlay-border);
+}
+.note {
+    background-color: #2482;
+    border-left: 0.25rem solid #2484;
+}
+
+/* Header */
+header {
+    margin: 1.5rem -0.5rem;
+    display: flex;
+    flex-wrap: wrap;
+    justify-content: space-between;
+    align-items: center;
+}
+
+header a {
+    border-bottom: solid;
+    font-weight: bold;
+    margin: 0 0.5rem;
+    text-decoration: none;
+}
+
+nav, nav li { display: inline-block }
+nav ul { margin: 0 }
+
+footer, .tags, .right {
+    color: GrayText;
+    font-size: 80%;
+}
+
+footer {
+    margin-top: 1.5rem;
+    margin-bottom: 2rem;
+}
+
+footer a, .tags a {
+    color: GrayText;
+    text-decoration: underline;
+}
+
+.nowrap { display: inline-block }
+.tags { float: left }
+.right {
+    float: right;
+    margin-left: auto;
+}
+
+/* Table */
+table {
+    border-bottom: 0.15em solid;
+    border-collapse: collapse;
+    border-top: 0.15em solid;
+    line-height: 1em;
+    margin-bottom: 1.5em;
+    margin-left: auto;
+    margin-right: auto;
+    text-align: center;
+}
+
+tr:first-of-type > th { border-bottom: 0.08em solid }
+tr, th, td { padding: 0.5em }
+
+/* highlight.js */
+code, .highlight { background-color: var(--overlay-bg) }
+.highlight {
+    display: block;
+    padding: 0 1ch;
+    margin: 0 -1ch;
+    overflow-x: auto;
+}
+.highlight > pre { margin: 1ex 0 }
+pre p { margin: 0 }
+
+.comment {
+    background-color: var(--overlay-bg);
+    clear: both;
+    margin: 1ex 0;
+    overflow: hidden;
+    padding: 0 1rem;
+}
+
+.fead {
+    display: flex;
+    flex-wrap: wrap;
+    margin: -0.5rem;
+    margin-bottom: 0;
+}
+.fead h3 { margin: 0 0 1ex }
+.fead article {
+    background: var(--overlay-bg);
+    display: flex;
+    flex-direction: column;
+    flex: 1 1 0;
+    margin: 1ex;
+    min-width: 12rem;
+    padding: 1ex;
+}