1 files changed, 250 insertions, 0 deletions
diff --git a/static/style.css b/static/style.css
new file mode 100644
index 0000000..d7bea79
--- /dev/null
+++ b/static/style.css
@@ -0,0 +1,250 @@
+/* Variables */
+:root {
+    --black: #1c1b19;
+    --red: #ef2f27;
+    --green: #519f50;
+    --yellow: #fbb829;
+    --blue: #2c78bf;
+    --magenta: #e02c6d;
+    --cyan: #0aaeb3;
+    --white: #d0bfa1;
+    --bright-black: #918175;
+    --bright-red: #f75341;
+    --bright-green: #98bc37;
+    --bright-yellow: #fed06e;
+    --bright-blue: #68a8e4;
+    --bright-magenta: #ff5c8f;
+    --bright-cyan: #53fde9;
+    --bright-white: #fce8c3;
+
+    --block-bg: var(--black);
+    --fade-fg: var(--bright-black);
+    --link-fg: var(--green);
+    --overlay-bg: #8881;
+    --text-bg: #121212;
+    --text-fg: var(--bright-white);
+}
+
+@media (prefers-color-scheme: light) {
+    :root {
+        --block-bg: #eeeeec;
+        --fade-fg: #888a85;
+        --link-fg: #436e58;
+        --text-bg: #ffffff;
+        --text-fg: #2e3436;
+    }
+}
+
+/* Default font and layout */
+html {
+    background-color: var(--text-bg);
+    box-sizing: border-box;
+    color: var(--text-fg);
+    font-size: min(max(100%, 2vw), 150%);
+    margin: auto;
+    max-width: 36rem;
+    scrollbar-color: var(--fade-fg) var(--overlay-bg);
+}
+
+body { margin: 0 1rem }
+
+.franklin-content .row { display: block }
+
+/* Text geometry */
+p, details {
+    hyphens: auto;
+    line-height: 1.4rem;
+    text-align: justify;
+}
+
+/* Titles */
+.franklin-content h1 a,
+.franklin-content h2 a,
+.franklin-content h3 a,
+.franklin-content h4 a,
+.franklin-content h5 a,
+.franklin-content h6 a {
+    color: var(--text-fg);
+}
+
+.franklin-content h1 a:hover,
+.franklin-content h2 a:hover,
+.franklin-content h3 a:hover,
+.franklin-content h4 a:hover,
+.franklin-content h5 a:hover,
+.franklin-content h6 a:hover {
+    text-decoration: none;
+}
+
+.franklin-toc ol ol {
+    list-style-type: lower-alpha;
+}
+
+/* General formatting */
+.franklin-content li p { margin: 0 }
+
+.franklin-content a {
+    color: var(--link-fg);
+    text-decoration: none;
+}
+
+.franklin-content a:hover {
+    text-decoration: underline;
+ }
+
+/* Hyperrefs and footnotes */
+.franklin-content .bibref a,
+.franklin-content .eqref a { color: var(--link-fg) }
+
+.franklin-content .fndef {
+    border: none;
+    margin: 1ex 0;
+}
+.franklin-content .fndef tr { text-align: left }
+.franklin-content .fndef td { padding: 0 }
+.franklin-content .fndef td, .franklin-content sup { font-size: 80% }
+.franklin-content .fndef td.fndef-backref { padding-left: 0 }
+.franklin-content .fndef td.fndef-content { padding-left: 1ch }
+
+/* Images */
+.franklin-content img {
+    display: block;
+    margin: auto;
+    max-width: 100%;
+}
+
+/* KaTeX */
+.katex { font-size: 1em !important }
+
+/* Boxes */
+.franklin-content blockquote, .note {
+    margin: 0 -1rem;
+    padding-bottom: 1ex;
+    padding-left: 0.75rem;
+    padding-right: 1rem;
+    padding-top: 1ex;
+}
+.franklin-content blockquote p, .note p { margin: 1ex 0 }
+.note p:first-child { font-weight: bold }
+.franklin-content blockquote {
+    background: var(--overlay-bg);
+    border-left: 0.25rem solid #8884;
+}
+.note {
+    background-color: #51affe25;
+    border-left: 0.25rem solid var(--blue);
+}
+
+/* Header */
+header {
+    margin: 1.5rem -0.5rem;
+    display: flex;
+    flex-wrap: wrap;
+    justify-content: space-between;
+    align-items: center;
+}
+
+header a {
+    border-bottom: solid;
+    color: var(--link-fg);
+    font-weight: bold;
+    margin: 0 0.5rem;
+    text-decoration: none;
+    transition: color 0.3s ease;
+}
+header a:hover { color: var(--text-fg) }
+
+nav, nav li { display: inline-block }
+nav ul { margin: 0 }
+
+footer, .tags, .right {
+    color: var(--fade-fg);
+    font-size: 80%;
+}
+
+footer {
+    margin-top: 1.5rem;
+    margin-bottom: 2rem;
+}
+
+footer a, .tags a {
+    color: var(--fade-fg)!important;
+    text-decoration: underline!important;
+}
+
+.nowrap { display: inline-block }
+.tags { float: left }
+.right {
+    float: right;
+    margin-left: auto;
+}
+
+/* Table */
+table {
+    border-bottom: 0.15em solid var(--text-fg);
+    border-collapse: collapse;
+    border-top: 0.15em solid var(--text-fg);
+    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 var(--text-fg) }
+tr, th, td { padding: 0.5em }
+
+/* highlight.js */
+code, .hljs {
+    background-color: var(--block-bg);
+    font-size: inherit;
+    padding: 0.1em 0.2em;
+}
+
+.hljs, .comment pre > code {
+    display: block;
+    line-height: 1.45em;
+    overflow-x: auto;
+}
+
+.hljs-built_in .hljs-name, .hljs-title, .hljs-type { color: var(--cyan) }
+.hljs-code, .hljs-selector-class { color: var(--bright-blue) }
+.hljs-comment, .hljs-deletion, .hljs-meta { color: var(--fade-fg) }
+.hljs-comment, .hljs-emphasis { font-style: italic; }
+.hljs-string { color: var(--bright-green) }
+.hljs-strong { font-weight: bold; }
+
+.hljs-bullet, .hljs-quote, .hljs-link, .hljs-number,
+.hljs-regexp, .hljs-literal { color: var(--bright-magenta) }
+
+.hljs-keyword, .hljs-selector-tag, .hljs-section,
+.hljs-attribute, .hljs-variable { color: var(--red) }
+
+.hljs-subst, .hljs-symbol, .hljs-selector-id, .hljs-selector-attr,
+.hljs-selector-pseudo, .hljs-template-tag, .hljs-template-variable,
+.hljs-addition { color: var(--red) }
+
+.comment {
+    background-color: var(--overlay-bg);
+    clear: both;
+    margin: 1ex 0;
+    overflow: hidden;
+    padding: 0 1rem;
+}
+
+.openring {
+    display: flex;
+    flex-wrap: wrap;
+    margin: -0.5rem;
+    margin-bottom: 0;
+}
+.openring h3 { margin: 0 0 1ex }
+.openring article {
+    background: var(--overlay-bg);
+    display: flex;
+    flex-direction: column;
+    flex: 1 1 0;
+    margin: 1ex;
+    min-width: 12rem;
+    padding: 1ex;
+}