minify site

1 files changed, 18 insertions, 554 deletions

diff --git a/theme/static/styles.css b/theme/static/styles.css
index 2319aef..0d574da 100644
--- a/theme/static/styles.css
+++ b/theme/static/styles.css
@@ -1,461 +1,4 @@
-/*! normalize.css v8.0.1 | MIT License | github.com/necolas/normalize.css */
-
-/* Document
-   ========================================================================== */
-
-/**
- * 1. Correct the line height in all browsers.
- * 2. Prevent adjustments of font size after orientation changes in iOS.
- */
-
-html {
-  line-height: 1.15; /* 1 */
-  -webkit-text-size-adjust: 100%; /* 2 */
-}
-
-/* Sections
-     ========================================================================== */
-
-/**
-   * Remove the margin in all browsers.
-   */
-
 body {
-  margin: 0;
-}
-
-/**
-   * Render the `main` element consistently in IE.
-   */
-
-main {
-  display: block;
-}
-
-/**
-   * Correct the font size and margin on `h1` elements within `section` and
-   * `article` contexts in Chrome, Firefox, and Safari.
-   */
-
-h1 {
-  font-size: 2em;
-  margin: 0.67em 0;
-}
-
-/* Grouping content
-     ========================================================================== */
-
-/**
-   * 1. Add the correct box sizing in Firefox.
-   * 2. Show the overflow in Edge and IE.
-   */
-
-hr {
-  box-sizing: content-box; /* 1 */
-  height: 0; /* 1 */
-  overflow: visible; /* 2 */
-}
-
-/**
-   * 1. Correct the inheritance and scaling of font size in all browsers.
-   * 2. Correct the odd `em` font sizing in all browsers.
-   */
-
-pre {
-  font-family: monospace, monospace; /* 1 */
-  font-size: 1em; /* 2 */
-}
-
-/* Text-level semantics
-     ========================================================================== */
-
-/**
-   * Remove the gray background on active links in IE 10.
-   */
-
-a {
-  background-color: transparent;
-}
-
-/**
-   * 1. Remove the bottom border in Chrome 57-
-   * 2. Add the correct text decoration in Chrome, Edge, IE, Opera, and Safari.
-   */
-
-abbr[title] {
-  border-bottom: none; /* 1 */
-  text-decoration: underline; /* 2 */
-  text-decoration: underline dotted; /* 2 */
-}
-
-/**
-   * Add the correct font weight in Chrome, Edge, and Safari.
-   */
-
-b,
-strong {
-  font-weight: bolder;
-}
-
-/**
-   * 1. Correct the inheritance and scaling of font size in all browsers.
-   * 2. Correct the odd `em` font sizing in all browsers.
-   */
-
-code,
-kbd,
-samp {
-  font-family: monospace, monospace; /* 1 */
-  font-size: 1em; /* 2 */
-}
-
-/**
-   * Add the correct font size in all browsers.
-   */
-
-small {
-  font-size: 80%;
-}
-
-/**
-   * Prevent `sub` and `sup` elements from affecting the line height in
-   * all browsers.
-   */
-
-sub,
-sup {
-  font-size: 75%;
-  line-height: 0;
-  position: relative;
-  vertical-align: baseline;
-}
-
-sub {
-  bottom: -0.25em;
-}
-
-sup {
-  top: -0.5em;
-}
-
-/* Embedded content
-     ========================================================================== */
-
-/**
-   * Remove the border on images inside links in IE 10.
-   */
-
-img {
-  border-style: none;
-}
-
-/* Forms
-     ========================================================================== */
-
-/**
-   * 1. Change the font styles in all browsers.
-   * 2. Remove the margin in Firefox and Safari.
-   */
-
-button,
-input,
-optgroup,
-select,
-textarea {
-  font-family: inherit; /* 1 */
-  font-size: 100%; /* 1 */
-  line-height: 1.15; /* 1 */
-  margin: 0; /* 2 */
-}
-
-/**
-   * Show the overflow in IE.
-   * 1. Show the overflow in Edge.
-   */
-
-button,
-input {
-  /* 1 */
-  overflow: visible;
-}
-
-/**
-   * Remove the inheritance of text transform in Edge, Firefox, and IE.
-   * 1. Remove the inheritance of text transform in Firefox.
-   */
-
-button,
-select {
-  /* 1 */
-  text-transform: none;
-}
-
-/**
-   * Correct the inability to style clickable types in iOS and Safari.
-   */
-
-button,
-[type="button"],
-[type="reset"],
-[type="submit"] {
-  -webkit-appearance: button;
-}
-
-/**
-   * Remove the inner border and padding in Firefox.
-   */
-
-button::-moz-focus-inner,
-[type="button"]::-moz-focus-inner,
-[type="reset"]::-moz-focus-inner,
-[type="submit"]::-moz-focus-inner {
-  border-style: none;
-  padding: 0;
-}
-
-/**
-   * Restore the focus styles unset by the previous rule.
-   */
-
-button:-moz-focusring,
-[type="button"]:-moz-focusring,
-[type="reset"]:-moz-focusring,
-[type="submit"]:-moz-focusring {
-  outline: 1px dotted ButtonText;
-}
-
-/**
-   * Correct the padding in Firefox.
-   */
-
-fieldset {
-  padding: 0.35em 0.75em 0.625em;
-}
-
-/**
-   * 1. Correct the text wrapping in Edge and IE.
-   * 2. Correct the color inheritance from `fieldset` elements in IE.
-   * 3. Remove the padding so developers are not caught out when they zero out
-   *    `fieldset` elements in all browsers.
-   */
-
-legend {
-  box-sizing: border-box; /* 1 */
-  color: inherit; /* 2 */
-  display: table; /* 1 */
-  max-width: 100%; /* 1 */
-  padding: 0; /* 3 */
-  white-space: normal; /* 1 */
-}
-
-/**
-   * Add the correct vertical alignment in Chrome, Firefox, and Opera.
-   */
-
-progress {
-  vertical-align: baseline;
-}
-
-/**
-   * Remove the default vertical scrollbar in IE 10+.
-   */
-
-textarea {
-  overflow: auto;
-}
-
-/**
-   * 1. Add the correct box sizing in IE 10.
-   * 2. Remove the padding in IE 10.
-   */
-
-[type="checkbox"],
-[type="radio"] {
-  box-sizing: border-box; /* 1 */
-  padding: 0; /* 2 */
-}
-
-/**
-   * Correct the cursor style of increment and decrement buttons in Chrome.
-   */
-
-[type="number"]::-webkit-inner-spin-button,
-[type="number"]::-webkit-outer-spin-button {
-  height: auto;
-}
-
-/**
-   * 1. Correct the odd appearance in Chrome and Safari.
-   * 2. Correct the outline style in Safari.
-   */
-
-[type="search"] {
-  -webkit-appearance: textfield; /* 1 */
-  outline-offset: -2px; /* 2 */
-}
-
-/**
-   * Remove the inner padding in Chrome and Safari on macOS.
-   */
-
-[type="search"]::-webkit-search-decoration {
-  -webkit-appearance: none;
-}
-
-/**
-   * 1. Correct the inability to style clickable types in iOS and Safari.
-   * 2. Change font properties to `inherit` in Safari.
-   */
-
-::-webkit-file-upload-button {
-  -webkit-appearance: button; /* 1 */
-  font: inherit; /* 2 */
-}
-
-/* Interactive
-     ========================================================================== */
-
-/*
-   * Add the correct display in Edge, IE 10+, and Firefox.
-   */
-
-details {
-  display: block;
-}
-
-/*
-   * Add the correct display in all browsers.
-   */
-
-summary {
-  display: list-item;
-}
-
-/* Misc
-     ========================================================================== */
-
-/**
-   * Add the correct display in IE 10+.
-   */
-
-template {
-  display: none;
-}
-
-/**
-   * Add the correct display in IE 10.
-   */
-
-[hidden] {
-  display: none;
-}
-
-/* CUSTOM CSS */
-:root {
-  --bg: rgb(255, 255, 255);
-  --bg-bright: rgb(238, 238, 238);
-  --fg: rgb(17, 17, 17);
-  --fg-bright: rgb(0, 0, 0);
-  --fg-dim: rgb(68, 68, 68);
-  --link: rgb(0, 0, 255);
-  --code: rgb(195, 0, 0);
-  --border: rgb(204, 204, 204);
-}
-
-@media (prefers-reduced-motion: no-preference) {
-  :root {
-    scroll-behavior: smooth;
-  }
-}
-
-body {
-  background-color: var(--bg);
-  color: var(--fg);
-  font-family:
-    -apple-system,
-    BlinkMacSystemFont,
-    avenir next,
-    avenir,
-    segoe ui,
-    helvetica neue,
-    helvetica,
-    Cantarell,
-    Ubuntu,
-    roboto,
-    noto,
-    arial,
-    sans-serif;
-  line-height: 1.5;
-  max-width: 50em;
-  margin: 0 auto;
-  padding: 0 1rem;
-}
-
-.site-nav,
-footer {
-  border-color: var(--fg);
-}
-
-footer {
-  border-top: 1px dotted;
-  padding-top: 1rem;
-  margin: 1rem 0;
-}
-
-footer p {
-  margin: 0;
-}
-
-.site-nav {
-  border-bottom: 1px dotted;
-}
-
-.site-nav ul {
-  list-style-type: none;
-  display: flex;
-  align-items: center;
-  padding: 0;
-}
-
-.site-nav ul li {
-  margin-right: 0.5rem;
-}
-
-h1,
-h2,
-h3,
-h4 {
-  color: var(--fg-bright);
-}
-
-a,
-a:visited {
-  border-bottom: 2px solid var(--link);
-  color: var(--fg);
-  text-decoration: none;
-}
-
-img {
-  width: 100%;
-}
-
-table {
-  border-collapse: collapse;
-  color: var(--fg);
-  border-color: var(--bg-bright);
-}
-
-thead,
-th,
-tr,
-td {
-  border: 1px solid var(--border);
-  padding: 0.25rem;
-}
-
-pre > code,
-time,
-code {
   font-family:
     Menlo,
     Consolas,
@@ -464,112 +7,33 @@ code {
     Lucida Console,
     monospace;
   font-size: 0.9rem;
-}
-
-pre {
-  background-color: var(--bg-bright) !important;
-  margin: 0.5rem 0;
-  padding: 0.5rem;
-  overflow-x: auto;
-}
-
-:not(pre) > code {
-  color: var(--code);
-}
-
-aside {
-  background-color: var(--bg-bright);
-  padding: 1rem;
-}
-
-blockquote {
-  background-color: var(--bg-bright);
-  border-left: 5px solid var(--link);
-  margin: 1rem 0;
-  padding: 0.5rem 1rem;
-}
-
-blockquote p {
-  margin: 0;
-}
-
-.post,
-.wiki-post {
-  display: flex;
-}
-
-.post time {
-  flex-shrink: 0;
-  margin-right: 0.5rem;
-}
-
-.wiki-post {
-  justify-content: space-between;
-}
-
-.wiki-post:first-of-type {
-  border-bottom: 1px dotted var(--fg);
-  margin-bottom: 1rem;
-}
-
-.wiki-post p {
-  margin: 0;
-}
-
-.post-metadata {
-  border: 1px dotted var(--fg);
-  border-top: none;
+  margin: 0 auto;
+  max-width: 50em;
   padding: 1rem;
 }
 
-.post-metadata h1 {
-  margin: 0;
-}
-
-.post-metadata p {
-  margin: 0;
-}
-
-details {
-  margin-top: 1rem;
-}
-
-summary {
-  font-weight: bold;
-}
-
-.footnote-definition {
-  display: flex;
-  justify-content: flex-start;
-  align-items: top;
-  margin: 1rem 0;
+img {
+  height: auto;
+  max-width: 100%;
+  width: 100%;
 }
 
-.footnote-definition sup {
-  font-size: inherit;
-  top: 0;
-  line-height: inherit;
-  padding-right: 0.5rem;
+pre {
+  border: 1px solid #000;
+  overflow: scroll;
+  padding: 0.5rem;
 }
 
-.footnote-definition sup::after {
-  content: ".";
+:not(pre) code {
+  color: #f00;
 }
 
-.footnote-definition p {
-  display: inline-block;
-  margin: 0;
+nav ul {
+  padding: 0;
 }
 
-@media (prefers-color-scheme: dark) {
-  :root {
-    --bg: rgb(0, 0, 0);
-    --bg-bright: rgb(28, 28, 30);
-    --fg: rgb(245, 245, 247);
-    --fg-bright: rgb(255, 255, 255);
-    --fg-dim: rgb(209, 209, 214);
-    --link: rgb(10, 132, 255);
-    --code: rgb(255, 159, 10);
-    --border: rgb(51, 51, 51);
-  }
+nav li {
+  display: inline;
+  list-style: none;
+  padding-right: 0.25rem;
 }