+
+
+
+
diff --git a/static/style.css b/static/style.css
new file mode 100644
index 0000000..1604460
--- /dev/null
+++ b/static/style.css
@@ -0,0 +1,170 @@
+/* https://suckless.org/pub/style.css */
+
+html {
+ overflow-y: scroll;
+}
+
+body {
+ background-color: #fff;
+ color: #000;
+ font-family: sans-serif;
+ padding: 0;
+ margin: 0;
+}
+
+pre, code {
+ margin: 0;
+}
+
+a {
+ color: #005386;
+}
+
+#header a, #nav a, #menu a {
+ text-decoration: none;
+}
+
+#nav a:hover {
+ background-color: #ddd;
+}
+
+#menu {
+ clear: both;
+ color: #069;
+ overflow: hidden;
+ background-color: #17a;
+ padding: 0.7ex;
+ border-top: 1px solid #ccc;
+ border-bottom: 1px solid #069;
+}
+
+#menu a {
+ padding: 0.5ex 1ex;
+ color: #fff;
+}
+
+#menu a:hover {
+ background-color: #069;
+}
+
+#header {
+ background-color: #eee;
+ clear: both;
+ color: #555;
+ font-size: 1.78em;
+ padding: 0.7ex 0.7ex 0.7ex 0.7em;
+}
+
+#headerLink {
+ color: #17a;
+ margin-left: 5px;
+}
+
+h1 {
+ margin: 1em 1ex 0.5ex 0;
+ font-size: 1.4em;
+}
+
+h2 {
+ margin: 1em 1ex 0.5ex 0;
+ font-size: 1.3em;
+}
+
+h3 {
+ margin: 1em 1ex 0.5ex 0;
+ font-size: 1.0em;
+}
+
+h4 {
+ margin: 1em 1ex 0.5ex 0;
+ font-size: 0.9em;
+}
+
+#headerSubtitle {
+ font-size: 0.75em;
+ font-style: italic;
+ margin-left: 1em;
+}
+
+#content {
+ clear: both;
+ margin: 0;
+ padding: 0;
+}
+
+#nav {
+ float: left;
+ margin: 0 1px 0 0;
+ padding: 1em 0;
+ border-right: 1px dotted #ccc;
+ width: 200px;
+}
+
+#nav ul {
+ margin: 0;
+ padding: 0;
+}
+
+#nav li {
+ list-style: none;
+ padding: 0;
+ margin: 0;
+}
+
+#nav li ul {
+ padding-left: 0.6em !important;
+}
+
+#nav li a {
+ display: block;
+ margin: 0;
+ padding: 0.8ex 2em 0.8ex 1em;
+}
+
+#main {
+ margin: 0 0 0 200px;
+ max-width: 50em;
+ padding: 1.5em;
+}
+
+.left {
+ float: left;
+ margin: 0;
+ padding: 0;
+}
+
+.right {
+ float: right;
+ margin: 0;
+ padding: 0;
+}
+
+.hidden {
+ display: none;
+}
+
+@media (prefers-color-scheme: dark) {
+ body {
+ background-color: #000;
+ color: #bdbdbd;
+ }
+ #menu {
+ border-top: 1px solid #222;
+ }
+ #header {
+ background-color: #111;
+ }
+ #nav a:hover {
+ background-color: #222;
+ }
+ blockquote, pre, code {
+ background-color: #111;
+ border-color: #222;
+ }
+ a {
+ color: #56c8ff;
+ }
+ #main img[src$=svg] {
+ filter: invert(1);
+ }
+}