diff --git a/Makefile b/Makefile
index b0f72cc..90e4c79 100644
--- a/Makefile
+++ b/Makefile
@@ -27,7 +27,7 @@ ALL += $(DST_RAW_FILES)
 EXT := .org
 SRC_PANDOC_FILES ?= $(shell find $(SRC_DIR) -type f -name "*$(EXT)" $(NO_DRAFT))
 DST_PANDOC_FILES ?= $(subst $(EXT),.html, \
-                        $(subst $(SRC_DIR),$(DST_DIR), \
+                        $(patsubst $(SRC_DIR)/%,$(DST_DIR)/%, \
                             $(SRC_PANDOC_FILES)))
 TEMPLATE ?= templates/post.html
 CSS = /css/y.css
@@ -77,8 +77,6 @@ ALL += $(GMI_INDEX)
 SRC_IMG_FILES ?= $(shell find $(SRC_DIR) -type f -name "*.jpg" -or -name "*.jpeg" -or -name "*.gif" -or -name "*.png")
 DST_IMG_FILES ?= $(patsubst $(SRC_DIR)/%,$(DST_DIR)/%, $(SRC_IMG_FILES))
 
-ALL += $(DST_IMG_FILES)
-
 $(DST_DIR)/%.jpg: $(SRC_DIR)/%.jpg
 	@mkdir -p $(dir $@)
 	convert "$<" -quality 50 -resize 800x800\> "$@"
@@ -95,6 +93,8 @@ $(DST_DIR)/%.png: $(SRC_DIR)/%.png
 	@mkdir -p $(dir $@)
 	convert "$<" -quality 50 -resize 800x800\> "$@"
 
+ALL += $(DST_IMG_FILES)
+
 # OPTIM PHASE
 
 OPTIM_DIR ?= _optim
diff --git a/src/css/colors.css b/src/css/colors.css
deleted file mode 100644
index 2d3edf5..0000000
--- a/src/css/colors.css
+++ /dev/null
@@ -1,139 +0,0 @@
-/* COLORS */
-
-/* colortheme switch */
-body>input { display: none; }
-#labels > .content { margin: 0 auto; text-align: center; }
-label { font-weight: 700; }
-label:hover { cursor: pointer; }
-#logo { text-align: center; }
-body { margin:0; padding: 0; border: 0; max-width: none;}
-#content,.content,#preamble,#postamble {
-    max-width: 80ch;
-    overflow: hidden;
-    margin: 0 auto;
-}
-figure img { width: 100%; }
-.footdef > sup { vertical-align: top; font-size: medium; }
-.footdef > sup > a { padding: 0.5em; }
-.footpara { display: inline; }
-footer { margin: 3em 0; padding: 1em 0; border-top: solid 1px; border-bottom: solid 1px; line-height: 1em; }
-#postamble td { border-bottom: none; }
-nav { text-align: center; padding: 2em 0;  }
-
-
-:root {
-    --b03:  #2E3440;
-    --b02:  #3B4252;
-    /* not used because light mode is has more contrast
-    --b01:  #656b74;
-   */
-    --b00:  #727781;
-    --b0:   #989ea8;
-    --b1:   #b0bac7;
-    --b2:   #ECEFF4;
-    --b3:   #fff;
-    --y: #c18600;
-    --o: #d84100;
-    --r: #e62729;
-    --m: #ec0085;
-    --v: #6c71c4;
-    --b: #0095ff;
-    --c: #00b0a3;
-    --g: #879a00;
-
-    /* default light */
-    --bg: var(--b3);
-    --rbg: var(--b2);
-    --fg0: var(--b0);
-    --fg: var(--b02);
-    --rfg: #000;
-    --hl: var(--o);
-}
-
-/* light checked */
-input#l:checked ~ div {
-    --bg: var(--b3);
-    --rbg: var(--b2);
-    --fg0: var(--b0);
-    --fg: var(--b02);
-    --rfg: #000;
-    --hl: var(--o);
-}
-input#l:checked ~ div img {
-    filter: none;
-}
-
-/* dark checked */
-input#d:checked ~ div {
-    --bg: hsl(210,20%,2%);
-    --rbg: var(--b03);
-    --fg: var(--b1);
-    --fg0: var(--b00);
-    --rfg: var(--b2);
-    --hl: var(--y);
-}
-input#d:checked ~ div img {
-    filter: brightness(0.5) saturate(0.5);
-}
-
-/* dark preferred */
-@media (prefers-color-scheme: dark)
-{
-    :root {
-        --bg: black;
-        --rbg: var(--b03);
-        --fg: var(--b1);
-        --fg0: var(--b00);
-        --rfg: var(--b2);
-        --hl: var(--y);
-    }
-    img { filter: brightness(0.5) saturate(0.5); }
-}
-body, body > div {
-    background: var(--bg);
-    color: var(--fg);
-}
-a,a:visited { color: var(--hl); }
-
-/* ---- SYNTAX HIGHLIGHTING ---- */
-.org-rainbow-delimiters-depth-1, .org-rainbow-delimiters-depth-9,
-.org-css-selector, .org-nix-attribute, .org-builtin,
-.IN_REVIEW {
-    color:var(--c);
-}
-
-.org-rainbow-delimiters-depth-2, .org-nix-builtin, .org-variable-name,
-.org-haskell-definition, .org-haskell-operator, .org-function-name, .org-diff-changed {
-    color:var(--b);
-}
-
-.org-rainbow-delimiters-depth-3, .HOLD, .WAITING {
-    color:var(--v);
-}
-
-.org-rainbow-delimiters-depth-4, .org-diff-hunk-header, .org-sh-quoted-exec,
-.CANCELED {
-    color:var(--m);
-}
-.org-rainbow-delimiters-depth-5, .org-diff-removed, .TODO {
-    color:var(--r);
-}
-.org-rainbow-delimiters-depth-6, .org-haskell-constructor  {
-    color:var(--o);
-}
-.org-rainbow-delimiters-depth-7, .org-type, .org-constant, .org-diff-header,
-.org-haskell-keyword, .org-haskell-type, .IN_PROGRESS {
-    color:var(--y);
-}
-.org-rainbow-delimiters-depth-8, .org-sh-heredoc, .org-diff-added, .org-string,
-.org-doc, .org-keyword, .DONE {
-    color:var(--g);
-}
-
-.org-highlight-numbers-number, .org-highlight-number-number,
-.org-diff-none, .org-preprocessor, .org-comment-delimiter, .org-comment,
-.org-outshine-level-1, .org-outshine-level-2, .org-outshine-level-3,
-.org-outshine-level-4, .org-outshine-level-5, .org-outshine-level-6,
-.org-outshine-level-7, .org-outshine-level-8, .org-outshine-level-9 {
-    color:var(--fg0);
-}
diff --git a/src/css/fonts/LM-bold-italic.ttf b/src/css/fonts/LM-bold-italic.ttf
deleted file mode 100644
index 7b684ee..0000000
Binary files a/src/css/fonts/LM-bold-italic.ttf and /dev/null differ
diff --git a/src/css/fonts/LM-bold-italic.woff b/src/css/fonts/LM-bold-italic.woff
deleted file mode 100644
index d54af37..0000000
Binary files a/src/css/fonts/LM-bold-italic.woff and /dev/null differ
diff --git a/src/css/fonts/LM-bold-italic.woff2 b/src/css/fonts/LM-bold-italic.woff2
deleted file mode 100644
index 078ce29..0000000
Binary files a/src/css/fonts/LM-bold-italic.woff2 and /dev/null differ
diff --git a/src/css/fonts/LM-bold.ttf b/src/css/fonts/LM-bold.ttf
deleted file mode 100644
index 17624d4..0000000
Binary files a/src/css/fonts/LM-bold.ttf and /dev/null differ
diff --git a/src/css/fonts/LM-bold.woff b/src/css/fonts/LM-bold.woff
deleted file mode 100644
index 318a3ad..0000000
Binary files a/src/css/fonts/LM-bold.woff and /dev/null differ
diff --git a/src/css/fonts/LM-bold.woff2 b/src/css/fonts/LM-bold.woff2
deleted file mode 100644
index c14c620..0000000
Binary files a/src/css/fonts/LM-bold.woff2 and /dev/null differ
diff --git a/src/css/fonts/LM-italic.ttf b/src/css/fonts/LM-italic.ttf
deleted file mode 100644
index b9a57b8..0000000
Binary files a/src/css/fonts/LM-italic.ttf and /dev/null differ
diff --git a/src/css/fonts/LM-italic.woff b/src/css/fonts/LM-italic.woff
deleted file mode 100644
index fafb147..0000000
Binary files a/src/css/fonts/LM-italic.woff and /dev/null differ
diff --git a/src/css/fonts/LM-italic.woff2 b/src/css/fonts/LM-italic.woff2
deleted file mode 100644
index 166d6e6..0000000
Binary files a/src/css/fonts/LM-italic.woff2 and /dev/null differ
diff --git a/src/css/fonts/LM-regular.ttf b/src/css/fonts/LM-regular.ttf
deleted file mode 100644
index 6b4f6b8..0000000
Binary files a/src/css/fonts/LM-regular.ttf and /dev/null differ
diff --git a/src/css/fonts/LM-regular.woff b/src/css/fonts/LM-regular.woff
deleted file mode 100644
index eb9fec0..0000000
Binary files a/src/css/fonts/LM-regular.woff and /dev/null differ
diff --git a/src/css/fonts/LM-regular.woff2 b/src/css/fonts/LM-regular.woff2
deleted file mode 100644
index 869279a..0000000
Binary files a/src/css/fonts/LM-regular.woff2 and /dev/null differ
diff --git a/src/css/fonts/SIL_Open_Font_License.txt b/src/css/fonts/SIL_Open_Font_License.txt
deleted file mode 100644
index 8ed8440..0000000
--- a/src/css/fonts/SIL_Open_Font_License.txt
+++ /dev/null
@@ -1,55 +0,0 @@
-Copyright (C) Authors of original metafont fonts:
-Donald Ervin Knuth (cm, concrete fonts)
-1995, 1996, 1997 J"org Knappen, 1990, 1992 Norbert Schwarz (ec fonts)
-1992-2006 A.Khodulev, O.Lapko, A.Berdnikov, V.Volovich (lh fonts)
-1997-2005 Claudio Beccari (cb greek fonts)
-2002 FUKUI Rei (tipa fonts)
-2003-2005 Han The Thanh (Vietnamese fonts)
-1996-2005 Walter Schmidt (cmbright fonts)
-
-Copyright (C) 2003-2009, Andrey V. Panov (panov@canopus.iacp.dvo.ru),
-with Reserved Font Family Name "Computer Modern Unicode fonts".
-
-
-
-This Font Software is licensed under the SIL Open Font License, Version 1.1.
-This license is copied below, and is also available with a FAQ at: http://scripts.sil.org/OFL
-
------------------------------------------------------------
-SIL OPEN FONT LICENSE Version 1.1 - 26 February 2007
------------------------------------------------------------
-
-PREAMBLE
-The goals of the Open Font License (OFL) are to stimulate worldwide development of collaborative font projects, to support the font creation efforts of academic and linguistic communities, and to provide a free and open framework in which fonts may be shared and improved in partnership with others.
-
-The OFL allows the licensed fonts to be used, studied, modified and redistributed freely as long as they are not sold by themselves. The fonts, including any derivative works, can be bundled, embedded, redistributed and/or sold with any software provided that any reserved names are not used by derivative works. The fonts and derivatives, however, cannot be released under any other type of license. The requirement for fonts to remain under this license does not apply to any document created using the fonts or their derivatives.
-
-DEFINITIONS
-"Font Software" refers to the set of files released by the Copyright Holder(s) under this license and clearly marked as such. This may include source files, build scripts and documentation.
-
-"Reserved Font Name" refers to any names specified as such after the copyright statement(s).
-
-"Original Version" refers to the collection of Font Software components as distributed by the Copyright Holder(s).
-
-"Modified Version" refers to any derivative made by adding to, deleting, or substituting -- in part or in whole -- any of the components of the Original Version, by changing formats or by porting the Font Software to a new environment.
-
-"Author" refers to any designer, engineer, programmer, technical writer or other person who contributed to the Font Software.
-
-PERMISSION & CONDITIONS
-Permission is hereby granted, free of charge, to any person obtaining a copy of the Font Software, to use, study, copy, merge, embed, modify, redistribute, and sell modified and unmodified copies of the Font Software, subject to the following conditions:
-
-1) Neither the Font Software nor any of its individual components, in Original or Modified Versions, may be sold by itself.
-
-2) Original or Modified Versions of the Font Software may be bundled, redistributed and/or sold with any software, provided that each copy contains the above copyright notice and this license. These can be included either as stand-alone text files, human-readable headers or in the appropriate machine-readable metadata fields within text or binary files as long as those fields can be easily viewed by the user.
-
-3) No Modified Version of the Font Software may use the Reserved Font Name(s) unless explicit written permission is granted by the corresponding Copyright Holder. This restriction only applies to the primary font name as presented to the users.
-
-4) The name(s) of the Copyright Holder(s) or the Author(s) of the Font Software shall not be used to promote, endorse or advertise any Modified Version, except to acknowledge the contribution(s) of the Copyright Holder(s) and the Author(s) or with their explicit written permission.
-
-5) The Font Software, modified or unmodified, in part or in whole, must be distributed entirely under this license, and must not be distributed under any other license. The requirement for fonts to remain under this license does not apply to any document created using the Font Software.
-
-TERMINATION
-This license becomes null and void if any of the above conditions are not met.
-
-DISCLAIMER
-THE FONT SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO ANY WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT OF COPYRIGHT, PATENT, TRADEMARK, OR OTHER RIGHT. IN NO EVENT SHALL THE COPYRIGHT HOLDER BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, INCLUDING ANY GENERAL, SPECIAL, INDIRECT, INCIDENTAL, OR CONSEQUENTIAL DAMAGES, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF THE USE OR INABILITY TO USE THE FONT SOFTWARE OR FROM OTHER DEALINGS IN THE FONT SOFTWARE.
\ No newline at end of file
diff --git a/src/css/fonts/cmunbi.ttf b/src/css/fonts/cmunbi.ttf
deleted file mode 100644
index 20505cf..0000000
Binary files a/src/css/fonts/cmunbi.ttf and /dev/null differ
diff --git a/src/css/fonts/cmunbi.woff b/src/css/fonts/cmunbi.woff
deleted file mode 100644
index 0808fa0..0000000
Binary files a/src/css/fonts/cmunbi.woff and /dev/null differ
diff --git a/src/css/fonts/cmunbi.woff2 b/src/css/fonts/cmunbi.woff2
deleted file mode 100644
index 1e075f8..0000000
Binary files a/src/css/fonts/cmunbi.woff2 and /dev/null differ
diff --git a/src/css/fonts/cmunbl.ttf b/src/css/fonts/cmunbl.ttf
deleted file mode 100644
index 0651935..0000000
Binary files a/src/css/fonts/cmunbl.ttf and /dev/null differ
diff --git a/src/css/fonts/cmunbl.woff b/src/css/fonts/cmunbl.woff
deleted file mode 100644
index 143ce3e..0000000
Binary files a/src/css/fonts/cmunbl.woff and /dev/null differ
diff --git a/src/css/fonts/cmunbl.woff2 b/src/css/fonts/cmunbl.woff2
deleted file mode 100644
index 9602dae..0000000
Binary files a/src/css/fonts/cmunbl.woff2 and /dev/null differ
diff --git a/src/css/fonts/cmunbmo.ttf b/src/css/fonts/cmunbmo.ttf
deleted file mode 100644
index e8c1cbf..0000000
Binary files a/src/css/fonts/cmunbmo.ttf and /dev/null differ
diff --git a/src/css/fonts/cmunbmo.woff b/src/css/fonts/cmunbmo.woff
deleted file mode 100644
index d45fc86..0000000
Binary files a/src/css/fonts/cmunbmo.woff and /dev/null differ
diff --git a/src/css/fonts/cmunbmo.woff2 b/src/css/fonts/cmunbmo.woff2
deleted file mode 100644
index 01771f1..0000000
Binary files a/src/css/fonts/cmunbmo.woff2 and /dev/null differ
diff --git a/src/css/fonts/cmunbmr.ttf b/src/css/fonts/cmunbmr.ttf
deleted file mode 100644
index 5ed1086..0000000
Binary files a/src/css/fonts/cmunbmr.ttf and /dev/null differ
diff --git a/src/css/fonts/cmunbmr.woff b/src/css/fonts/cmunbmr.woff
deleted file mode 100644
index c2bc6d9..0000000
Binary files a/src/css/fonts/cmunbmr.woff and /dev/null differ
diff --git a/src/css/fonts/cmunbmr.woff2 b/src/css/fonts/cmunbmr.woff2
deleted file mode 100644
index df6d964..0000000
Binary files a/src/css/fonts/cmunbmr.woff2 and /dev/null differ
diff --git a/src/css/fonts/cmunbso.ttf b/src/css/fonts/cmunbso.ttf
deleted file mode 100644
index 90cf05d..0000000
Binary files a/src/css/fonts/cmunbso.ttf and /dev/null differ
diff --git a/src/css/fonts/cmunbso.woff b/src/css/fonts/cmunbso.woff
deleted file mode 100644
index b262101..0000000
Binary files a/src/css/fonts/cmunbso.woff and /dev/null differ
diff --git a/src/css/fonts/cmunbso.woff2 b/src/css/fonts/cmunbso.woff2
deleted file mode 100644
index c207cc2..0000000
Binary files a/src/css/fonts/cmunbso.woff2 and /dev/null differ
diff --git a/src/css/fonts/cmunbsr.ttf b/src/css/fonts/cmunbsr.ttf
deleted file mode 100644
index dfc11f4..0000000
Binary files a/src/css/fonts/cmunbsr.ttf and /dev/null differ
diff --git a/src/css/fonts/cmunbsr.woff b/src/css/fonts/cmunbsr.woff
deleted file mode 100644
index e8c78f9..0000000
Binary files a/src/css/fonts/cmunbsr.woff and /dev/null differ
diff --git a/src/css/fonts/cmunbsr.woff2 b/src/css/fonts/cmunbsr.woff2
deleted file mode 100644
index 4638808..0000000
Binary files a/src/css/fonts/cmunbsr.woff2 and /dev/null differ
diff --git a/src/css/fonts/cmunbtl.ttf b/src/css/fonts/cmunbtl.ttf
deleted file mode 100644
index 77410c2..0000000
Binary files a/src/css/fonts/cmunbtl.ttf and /dev/null differ
diff --git a/src/css/fonts/cmunbtl.woff b/src/css/fonts/cmunbtl.woff
deleted file mode 100644
index e73e564..0000000
Binary files a/src/css/fonts/cmunbtl.woff and /dev/null differ
diff --git a/src/css/fonts/cmunbtl.woff2 b/src/css/fonts/cmunbtl.woff2
deleted file mode 100644
index 2701ea4..0000000
Binary files a/src/css/fonts/cmunbtl.woff2 and /dev/null differ
diff --git a/src/css/fonts/cmunbto.ttf b/src/css/fonts/cmunbto.ttf
deleted file mode 100644
index a943044..0000000
Binary files a/src/css/fonts/cmunbto.ttf and /dev/null differ
diff --git a/src/css/fonts/cmunbto.woff b/src/css/fonts/cmunbto.woff
deleted file mode 100644
index 901d043..0000000
Binary files a/src/css/fonts/cmunbto.woff and /dev/null differ
diff --git a/src/css/fonts/cmunbto.woff2 b/src/css/fonts/cmunbto.woff2
deleted file mode 100644
index a15d707..0000000
Binary files a/src/css/fonts/cmunbto.woff2 and /dev/null differ
diff --git a/src/css/fonts/cmunbx.ttf b/src/css/fonts/cmunbx.ttf
deleted file mode 100644
index 9a42c0e..0000000
Binary files a/src/css/fonts/cmunbx.ttf and /dev/null differ
diff --git a/src/css/fonts/cmunbx.woff b/src/css/fonts/cmunbx.woff
deleted file mode 100644
index c19e4c7..0000000
Binary files a/src/css/fonts/cmunbx.woff and /dev/null differ
diff --git a/src/css/fonts/cmunbx.woff2 b/src/css/fonts/cmunbx.woff2
deleted file mode 100644
index 85af188..0000000
Binary files a/src/css/fonts/cmunbx.woff2 and /dev/null differ
diff --git a/src/css/fonts/cmunci.ttf b/src/css/fonts/cmunci.ttf
deleted file mode 100644
index 4d41d1f..0000000
Binary files a/src/css/fonts/cmunci.ttf and /dev/null differ
diff --git a/src/css/fonts/cmunci.woff b/src/css/fonts/cmunci.woff
deleted file mode 100644
index 7b55b8d..0000000
Binary files a/src/css/fonts/cmunci.woff and /dev/null differ
diff --git a/src/css/fonts/cmunci.woff2 b/src/css/fonts/cmunci.woff2
deleted file mode 100644
index aa5b68f..0000000
Binary files a/src/css/fonts/cmunci.woff2 and /dev/null differ
diff --git a/src/css/fonts/cmunit.ttf b/src/css/fonts/cmunit.ttf
deleted file mode 100644
index 2afa178..0000000
Binary files a/src/css/fonts/cmunit.ttf and /dev/null differ
diff --git a/src/css/fonts/cmunit.woff b/src/css/fonts/cmunit.woff
deleted file mode 100644
index 80f0fbe..0000000
Binary files a/src/css/fonts/cmunit.woff and /dev/null differ
diff --git a/src/css/fonts/cmunit.woff2 b/src/css/fonts/cmunit.woff2
deleted file mode 100644
index dc5bd65..0000000
Binary files a/src/css/fonts/cmunit.woff2 and /dev/null differ
diff --git a/src/css/fonts/cmunobi.ttf b/src/css/fonts/cmunobi.ttf
deleted file mode 100644
index 18ef158..0000000
Binary files a/src/css/fonts/cmunobi.ttf and /dev/null differ
diff --git a/src/css/fonts/cmunobi.woff b/src/css/fonts/cmunobi.woff
deleted file mode 100644
index dfc4600..0000000
Binary files a/src/css/fonts/cmunobi.woff and /dev/null differ
diff --git a/src/css/fonts/cmunobi.woff2 b/src/css/fonts/cmunobi.woff2
deleted file mode 100644
index 413f771..0000000
Binary files a/src/css/fonts/cmunobi.woff2 and /dev/null differ
diff --git a/src/css/fonts/cmunobx.ttf b/src/css/fonts/cmunobx.ttf
deleted file mode 100644
index d320eb7..0000000
Binary files a/src/css/fonts/cmunobx.ttf and /dev/null differ
diff --git a/src/css/fonts/cmunobx.woff b/src/css/fonts/cmunobx.woff
deleted file mode 100644
index 6dd14fc..0000000
Binary files a/src/css/fonts/cmunobx.woff and /dev/null differ
diff --git a/src/css/fonts/cmunobx.woff2 b/src/css/fonts/cmunobx.woff2
deleted file mode 100644
index 5113f4b..0000000
Binary files a/src/css/fonts/cmunobx.woff2 and /dev/null differ
diff --git a/src/css/fonts/cmunorm.ttf b/src/css/fonts/cmunorm.ttf
deleted file mode 100644
index 72cfd42..0000000
Binary files a/src/css/fonts/cmunorm.ttf and /dev/null differ
diff --git a/src/css/fonts/cmunorm.woff b/src/css/fonts/cmunorm.woff
deleted file mode 100644
index a200a73..0000000
Binary files a/src/css/fonts/cmunorm.woff and /dev/null differ
diff --git a/src/css/fonts/cmunorm.woff2 b/src/css/fonts/cmunorm.woff2
deleted file mode 100644
index 9434289..0000000
Binary files a/src/css/fonts/cmunorm.woff2 and /dev/null differ
diff --git a/src/css/fonts/cmunoti.ttf b/src/css/fonts/cmunoti.ttf
deleted file mode 100644
index 826d145..0000000
Binary files a/src/css/fonts/cmunoti.ttf and /dev/null differ
diff --git a/src/css/fonts/cmunoti.woff b/src/css/fonts/cmunoti.woff
deleted file mode 100644
index 7d6d152..0000000
Binary files a/src/css/fonts/cmunoti.woff and /dev/null differ
diff --git a/src/css/fonts/cmunoti.woff2 b/src/css/fonts/cmunoti.woff2
deleted file mode 100644
index 80fcf63..0000000
Binary files a/src/css/fonts/cmunoti.woff2 and /dev/null differ
diff --git a/src/css/fonts/cmunrm.ttf b/src/css/fonts/cmunrm.ttf
deleted file mode 100644
index 5e182b3..0000000
Binary files a/src/css/fonts/cmunrm.ttf and /dev/null differ
diff --git a/src/css/fonts/cmunrm.woff b/src/css/fonts/cmunrm.woff
deleted file mode 100644
index 52e181d..0000000
Binary files a/src/css/fonts/cmunrm.woff and /dev/null differ
diff --git a/src/css/fonts/cmunrm.woff2 b/src/css/fonts/cmunrm.woff2
deleted file mode 100644
index 87cb90c..0000000
Binary files a/src/css/fonts/cmunrm.woff2 and /dev/null differ
diff --git a/src/css/fonts/cmunsi.ttf b/src/css/fonts/cmunsi.ttf
deleted file mode 100644
index bcbbb14..0000000
Binary files a/src/css/fonts/cmunsi.ttf and /dev/null differ
diff --git a/src/css/fonts/cmunsi.woff b/src/css/fonts/cmunsi.woff
deleted file mode 100644
index 54a6f95..0000000
Binary files a/src/css/fonts/cmunsi.woff and /dev/null differ
diff --git a/src/css/fonts/cmunsi.woff2 b/src/css/fonts/cmunsi.woff2
deleted file mode 100644
index d162934..0000000
Binary files a/src/css/fonts/cmunsi.woff2 and /dev/null differ
diff --git a/src/css/fonts/cmunsl.ttf b/src/css/fonts/cmunsl.ttf
deleted file mode 100644
index 6f4f543..0000000
Binary files a/src/css/fonts/cmunsl.ttf and /dev/null differ
diff --git a/src/css/fonts/cmunsl.woff b/src/css/fonts/cmunsl.woff
deleted file mode 100644
index a7af826..0000000
Binary files a/src/css/fonts/cmunsl.woff and /dev/null differ
diff --git a/src/css/fonts/cmunsl.woff2 b/src/css/fonts/cmunsl.woff2
deleted file mode 100644
index e93095d..0000000
Binary files a/src/css/fonts/cmunsl.woff2 and /dev/null differ
diff --git a/src/css/fonts/cmunso.ttf b/src/css/fonts/cmunso.ttf
deleted file mode 100644
index 79e9d9c..0000000
Binary files a/src/css/fonts/cmunso.ttf and /dev/null differ
diff --git a/src/css/fonts/cmunso.woff b/src/css/fonts/cmunso.woff
deleted file mode 100644
index 1fe2bca..0000000
Binary files a/src/css/fonts/cmunso.woff and /dev/null differ
diff --git a/src/css/fonts/cmunso.woff2 b/src/css/fonts/cmunso.woff2
deleted file mode 100644
index b835f02..0000000
Binary files a/src/css/fonts/cmunso.woff2 and /dev/null differ
diff --git a/src/css/fonts/cmunss.ttf b/src/css/fonts/cmunss.ttf
deleted file mode 100644
index 4f904f1..0000000
Binary files a/src/css/fonts/cmunss.ttf and /dev/null differ
diff --git a/src/css/fonts/cmunss.woff b/src/css/fonts/cmunss.woff
deleted file mode 100644
index 5a63300..0000000
Binary files a/src/css/fonts/cmunss.woff and /dev/null differ
diff --git a/src/css/fonts/cmunss.woff2 b/src/css/fonts/cmunss.woff2
deleted file mode 100644
index 13e75bb..0000000
Binary files a/src/css/fonts/cmunss.woff2 and /dev/null differ
diff --git a/src/css/fonts/cmunssdc.ttf b/src/css/fonts/cmunssdc.ttf
deleted file mode 100644
index c46b443..0000000
Binary files a/src/css/fonts/cmunssdc.ttf and /dev/null differ
diff --git a/src/css/fonts/cmunssdc.woff b/src/css/fonts/cmunssdc.woff
deleted file mode 100644
index 6df475c..0000000
Binary files a/src/css/fonts/cmunssdc.woff and /dev/null differ
diff --git a/src/css/fonts/cmunssdc.woff2 b/src/css/fonts/cmunssdc.woff2
deleted file mode 100644
index 0469b20..0000000
Binary files a/src/css/fonts/cmunssdc.woff2 and /dev/null differ
diff --git a/src/css/fonts/cmunsx.ttf b/src/css/fonts/cmunsx.ttf
deleted file mode 100644
index 53d642c..0000000
Binary files a/src/css/fonts/cmunsx.ttf and /dev/null differ
diff --git a/src/css/fonts/cmunsx.woff b/src/css/fonts/cmunsx.woff
deleted file mode 100644
index 4f54a6a..0000000
Binary files a/src/css/fonts/cmunsx.woff and /dev/null differ
diff --git a/src/css/fonts/cmunsx.woff2 b/src/css/fonts/cmunsx.woff2
deleted file mode 100644
index fbb13f7..0000000
Binary files a/src/css/fonts/cmunsx.woff2 and /dev/null differ
diff --git a/src/css/fonts/cmuntb.ttf b/src/css/fonts/cmuntb.ttf
deleted file mode 100644
index fa687ae..0000000
Binary files a/src/css/fonts/cmuntb.ttf and /dev/null differ
diff --git a/src/css/fonts/cmuntb.woff b/src/css/fonts/cmuntb.woff
deleted file mode 100644
index 0c4fbb8..0000000
Binary files a/src/css/fonts/cmuntb.woff and /dev/null differ
diff --git a/src/css/fonts/cmuntb.woff2 b/src/css/fonts/cmuntb.woff2
deleted file mode 100644
index 9b95f5f..0000000
Binary files a/src/css/fonts/cmuntb.woff2 and /dev/null differ
diff --git a/src/css/fonts/cmunti.ttf b/src/css/fonts/cmunti.ttf
deleted file mode 100644
index ec5f1f6..0000000
Binary files a/src/css/fonts/cmunti.ttf and /dev/null differ
diff --git a/src/css/fonts/cmunti.woff b/src/css/fonts/cmunti.woff
deleted file mode 100644
index 1d624b5..0000000
Binary files a/src/css/fonts/cmunti.woff and /dev/null differ
diff --git a/src/css/fonts/cmunti.woff2 b/src/css/fonts/cmunti.woff2
deleted file mode 100644
index 27aee60..0000000
Binary files a/src/css/fonts/cmunti.woff2 and /dev/null differ
diff --git a/src/css/fonts/cmuntt.ttf b/src/css/fonts/cmuntt.ttf
deleted file mode 100644
index d975a18..0000000
Binary files a/src/css/fonts/cmuntt.ttf and /dev/null differ
diff --git a/src/css/fonts/cmuntt.woff b/src/css/fonts/cmuntt.woff
deleted file mode 100644
index eeff4d5..0000000
Binary files a/src/css/fonts/cmuntt.woff and /dev/null differ
diff --git a/src/css/fonts/cmuntt.woff2 b/src/css/fonts/cmuntt.woff2
deleted file mode 100644
index 71deefc..0000000
Binary files a/src/css/fonts/cmuntt.woff2 and /dev/null differ
diff --git a/src/css/fonts/cmuntx.ttf b/src/css/fonts/cmuntx.ttf
deleted file mode 100644
index 2060c30..0000000
Binary files a/src/css/fonts/cmuntx.ttf and /dev/null differ
diff --git a/src/css/fonts/cmuntx.woff b/src/css/fonts/cmuntx.woff
deleted file mode 100644
index 687b421..0000000
Binary files a/src/css/fonts/cmuntx.woff and /dev/null differ
diff --git a/src/css/fonts/cmuntx.woff2 b/src/css/fonts/cmuntx.woff2
deleted file mode 100644
index ba547de..0000000
Binary files a/src/css/fonts/cmuntx.woff2 and /dev/null differ
diff --git a/src/css/fonts/cmunui.ttf b/src/css/fonts/cmunui.ttf
deleted file mode 100644
index 4222439..0000000
Binary files a/src/css/fonts/cmunui.ttf and /dev/null differ
diff --git a/src/css/fonts/cmunui.woff b/src/css/fonts/cmunui.woff
deleted file mode 100644
index 99f6b1b..0000000
Binary files a/src/css/fonts/cmunui.woff and /dev/null differ
diff --git a/src/css/fonts/cmunui.woff2 b/src/css/fonts/cmunui.woff2
deleted file mode 100644
index 0273dc9..0000000
Binary files a/src/css/fonts/cmunui.woff2 and /dev/null differ
diff --git a/src/css/fonts/cmunvi.ttf b/src/css/fonts/cmunvi.ttf
deleted file mode 100644
index 288f91d..0000000
Binary files a/src/css/fonts/cmunvi.ttf and /dev/null differ
diff --git a/src/css/fonts/cmunvi.woff b/src/css/fonts/cmunvi.woff
deleted file mode 100644
index ea5a889..0000000
Binary files a/src/css/fonts/cmunvi.woff and /dev/null differ
diff --git a/src/css/fonts/cmunvi.woff2 b/src/css/fonts/cmunvi.woff2
deleted file mode 100644
index 0c2b0f2..0000000
Binary files a/src/css/fonts/cmunvi.woff2 and /dev/null differ
diff --git a/src/css/fonts/cmunvt.ttf b/src/css/fonts/cmunvt.ttf
deleted file mode 100644
index 57bcaf4..0000000
Binary files a/src/css/fonts/cmunvt.ttf and /dev/null differ
diff --git a/src/css/fonts/cmunvt.woff b/src/css/fonts/cmunvt.woff
deleted file mode 100644
index b5c34d2..0000000
Binary files a/src/css/fonts/cmunvt.woff and /dev/null differ
diff --git a/src/css/fonts/cmunvt.woff2 b/src/css/fonts/cmunvt.woff2
deleted file mode 100644
index 5d7a280..0000000
Binary files a/src/css/fonts/cmunvt.woff2 and /dev/null differ
diff --git a/src/css/nice.css b/src/css/nice.css
deleted file mode 100644
index 5a67c1d..0000000
--- a/src/css/nice.css
+++ /dev/null
@@ -1,607 +0,0 @@
-/* Fonts if you need them
-@font-face {
-  font-family: 'CMU Serif';
-  font-style: normal;
-  font-weight: normal;
-  font-display: swap;
-  src: url('./fonts/cmunrm.woff2') format('woff2'),
-       url('./fonts/cmunrm.woff') format('woff'),
-       url('./fonts/cmunrm.ttf') format('truetype');
-}
-
-@font-face {
-  font-family: 'CMU Serif';
-  font-style: italic;
-  font-weight: normal;
-  font-display: swap;
-  src: url('./fonts/cmunti.woff2') format('woff2'),
-       url('./fonts/cmunti.woff') format('woff'),
-       url('./fonts/cmunti.ttf') format('truetype');
-}
-
-@font-face {
-  font-family: 'CMU Serif';
-  font-style: normal;
-  font-weight: bold;
-  font-display: swap;
-  src: url('./fonts/cmunbx.woff2') format('woff2'),
-       url('./fonts/cmunbx.woff') format('woff'),
-       url('./fonts/cmunbx.ttf') format('truetype');
-}
-
-@font-face {
-  font-family: 'CMU Serif';
-  font-style: italic;
-  font-weight: bold;
-  font-display: swap;
-  src: url('./fonts/cmunbi.woff2') format('woff2'),
-       url('./fonts/cmunbi.woff') format('woff'),
-       url('./fonts/cmunbi.ttf') format('truetype');
-}
-
-@font-face {
-    font-family: 'CMU Typewriter';
-    font-style: normal;
-    font-weight: normal;
-    font-display: swap;
-    src: url('./fonts/cmuntt.woff2') format('woff2'),
-         url('./fonts/cmuntt.woff') format('woff'),
-         url('./fonts/cmuntt.ttf') format('truetype');
-}
-
-@font-face {
-    font-family: 'CMU Typewriter';
-    font-style: italic;
-    font-weight: normal;
-    font-display: swap;
-    src: url('./fonts/cmunit.woff2') format('woff2'),
-         url('./fonts/cmunit.woff') format('woff');
-         url('./fonts/cmunit.ttf') format('truetype');
-}
-
-@font-face {
-    font-family: 'CMU Typewriter';
-    font-style: normal;
-    font-weight: bold;
-    font-display: swap;
-    src: url('./fonts/cmuntb.woff2') format('woff2'),
-         url('./fonts/cmuntb.woff') format('woff'),
-         url('./fonts/cmuntb.ttf') format('truetype');
-}
-
-@font-face {
-    font-family: 'CMU Typewriter';
-    font-style: italic;
-    font-weight: bold;
-    font-display: swap;
-    src: url('./fonts/cmuntx.woff2') format('woff2'),
-         url('./fonts/cmuntx.woff') format('woff'),
-         url('./fonts/cmuntx.ttf') format('truetype');
-}
-
-*/
-
-/* Box sizing rules */
-*,
-*::before,
-*::after {
-  box-sizing: border-box;
-}
-
-/* Remove default margin */
-body,
-h1,
-h2,
-h3,
-h4,
-p,
-ul[class],
-ol[class],
-li,
-figcaption,
-dl,
-dd {
-  margin: 0;
-}
-figure { margin: 1em 0; }
-
-/* Make default font-size 1rem and add smooth scrolling to anchors */
-html {
-  font-size: 1rem;
-  scroll-behavior: smooth;
-}
-
-body {
-  font-family: "Helvetica Neue", sans-serif;
-  line-height: 1.5;
-
-  min-height: 100vh;
-  overflow-x: hidden;
-  margin: 0;
-  padding: 0;
-
-  counter-reset: theorem;
-  counter-reset: definition;
-
-  color: hsl(0, 5%, 10%);
-  background-color: hsl(218, 20%, 98%);
-
-  text-rendering: optimizeLegibility;
-}
-
-#content, .content {
-    max-width: 60ch;
-    margin: 0 auto;
-    padding: 0 1.25rem;
-}
-
-/* Justify and hyphenate all paragraphs */
-p {
-  text-align: justify;
-  hyphens: auto;
-  -webkit-hyphens: auto;
-  -moz-hyphens: auto;
-  margin-top: 1rem;
-}
-
-/* A elements that don't have a class get default styles */
-a:not([class]) {
-  text-decoration-skip-ink: auto;
-}
-
-/* Make images easier to work with */
-img {
-  max-width: 100%;
-  display: block;
-}
-
-/* Inherit fonts for inputs and buttons */
-input,
-button,
-textarea,
-select {
-  font: inherit;
-}
-
-/* Prevent textarea from overflowing */
-textarea {
-  width: 100%;
-}
-
-/* Natural flow and rhythm in articles by default */
-article > * + * {
-  margin-top: 1em;
-}
-
-/* Styles for inline code or code snippets */
-code,
-pre,
-kbd {
-  font-family: Courier, monospace;
-}
-pre {
-  padding: 1rem;
-  max-width: 100%;
-  overflow: auto;
-  border: 1px solid hsl(218, 15%, 49%);
-  border-radius: 4px;
-  background: hsl(218, 40%, 96%);
-  font-size: 85%;
-}
-pre code {
-  font-size: 95%;
-  position: relative;
-}
-kbd {
-  background: hsl(218, 5%, 100%);
-  border: 1px solid hsl(218, 5%, 70%);
-  border-radius: 2px;
-  padding: 2px 4px;
-  font-size: 75%;
-}
-
-/* Make table 100% width, add borders between rows */
-table {
-  border-collapse: collapse;
-  border-spacing: 0;
-  width: 100%;
-  max-width: 100%;
-}
-th,
-td {
-  text-align: left;
-  padding: 0.5rem;
-}
-td {
-  border-bottom: 1px solid hsl(0, 0%, 85%);
-}
-thead th {
-  border-bottom: 2px solid hsl(0, 0%, 70%);
-}
-tfoot th {
-  border-top: 2px solid hsl(0, 0%, 70%);
-}
-
-/* Center align the title */
-h1:first-child {
-  text-align: center;
-}
-
-/* Nested ordered list for ToC */
-nav ol {
-  counter-reset: item;
-  padding-left: 2rem;
-}
-nav li {
-  display: block;
-}
-
-/* Center definitions (most useful for display equations) */
-dl dt { font-weight: 700; }
-dl dd {
-  padding-left: 3rem;
-}
-
-/* Theorem */
-.theorem {
-  counter-increment: theorem;
-  display: block;
-  margin: 12px 0;
-  font-style: italic;
-}
-.theorem::before {
-  content: 'Theorem ' counter(theorem) '. ';
-  font-weight: bold;
-  font-style: normal;
-}
-
-/* Lemma */
-.lemma {
-  counter-increment: theorem;
-  display: block;
-  margin: 12px 0;
-  font-style: italic;
-}
-.lemma::before {
-  content: 'Lemma ' counter(theorem) '. ';
-  font-weight: bold;
-  font-style: normal;
-}
-
-/* Proof */
-.proof {
-  display: block;
-  margin: 12px 0;
-  font-style: normal;
-  position: relative;
-}
-.proof::before {
-  content: 'Proof. ' attr(title);
-  font-style: italic;
-}
-.proof:after {
-  content: '◾️';
-  position: absolute;
-  right: -12px;
-  bottom: -2px;
-}
-
-/* Definition */
-.definition {
-  counter-increment: definition;
-  display: block;
-  margin: 12px 0;
-  font-style: normal;
-}
-.definition::before {
-  content: 'Definition ' counter(definition) '. ';
-  font-weight: bold;
-  font-style: normal;
-}
-
-/* Center align author name, use small caps and add vertical spacing  */
-.author {
-  margin: 0.85rem 0;
-  font-variant-caps: small-caps;
-  text-align: center;
-}
-
-/* Make footnote text smaller and left align it (looks bad with long URLs) */
-.footref { display: inline-block; padding: 0 3px; }
-.footnotes p {
-  text-align: left;
-  line-height: 1.5;
-  font-size: 85%;
-  margin-bottom: 0.4rem;
-}
-
-/* Center title and paragraph */
-.abstract,
-.abstract p {
-  text-align: center;
-}
-.abstract {
-  margin: 2.25rem;
-  font-size: 0.85rem;
-  font-style: italic;
-}
-
-/* Format the LaTeX symbol correctly (a higher up, e lower) */
-.latex span:nth-child(1) {
-  text-transform: uppercase;
-  font-size: 0.75em;
-  vertical-align: 0.25em;
-  margin-left: -0.36em;
-  margin-right: -0.15em;
-  line-height: 1ex;
-}
-
-.latex span:nth-child(2) {
-  text-transform: uppercase;
-  vertical-align: -0.5ex;
-  margin-left: -0.1667em;
-  margin-right: -0.125em;
-  line-height: 1ex;
-}
-
-/* Heading typography */
-h1 {
-  font-size: 2.5rem;
-  line-height: 3.25rem;
-  margin-bottom: 1.625rem;
-}
-
-h2 {
-  font-size: 1.7rem;
-  line-height: 2rem;
-  margin-top: 3rem;
-}
-
-h3 {
-  font-size: 1.4rem;
-  margin-top: 2.5rem;
-}
-
-h4 {
-  font-size: 1.2rem;
-  margin-top: 2rem;
-}
-
-h5 {
-  font-size: 1rem;
-  margin-top: 1.8rem;
-}
-
-h6 {
-  font-size: 1rem;
-  font-style: italic;
-  font-weight: normal;
-  margin-top: 2.5rem;
-}
-
-h3,
-h4,
-h5,
-h6 {
-  line-height: 1.625rem;
-}
-
-h1 + h2 {
-  margin-top: 1.625rem;
-}
-
-h2 + h3,
-h3 + h4,
-h4 + h5 {
-  margin-top: 0.8rem;
-}
-
-h5 + h6 {
-  margin-top: -0.8rem;
-}
-
-h2,
-h3,
-h4,
-h5,
-h6 {
-  margin-bottom: 0.8rem;
-}
-/* COLORS */
-
-/* colortheme switch */
-body>input { display: none; }
-#labels > .content { margin: 0 auto; text-align: center; }
-label { font-weight: 700; }
-label:hover { cursor: pointer; }
-label ~ pre { margin-top: 0; }
-.org-src-container { margin: 1rem 0; }
-#logo { text-align: center; }
-#preamble, #postamble { text-align: center; }
-#content,.content,#preamble,#postamble {
-    max-width: 60ch;
-    overflow: hidden;
-    margin: 0 auto;
-}
-figure img { width: 100%; }
-.footdef > sup { vertical-align: top; font-size: medium; }
-.footdef > sup > a { padding: 0.5em; }
-.footpara { display: inline; }
-footer { margin: 3em 0;
-         padding: 1em 0;
-         border-top: solid 1px;
-         border-bottom: solid 1px;
-         line-height: 1em;
-         font-size: 0.85em;
-         text-align: center;
-       }
-td { border-bottom: none; padding: .2rem; }
-table { margin-top: 1rem; }
-nav { text-align: center; padding: 1em 0;  }
-pre { line-height: 1em; }
-
-:root {
-    --b03:  #2E3440;
-    --b02:  #3B4252;
-    /* not used because light mode is has more contrast
-    --b01:  #656b74;
-   */
-    --b00:  #727781;
-    --b0:   #989ea8;
-    --b1:   #b0bac7;
-    --b2:   #ECEFF4;
-    --b3:   #fff;
-    --y: #c18600;
-    --o: #d84100;
-    --r: #e62729;
-    --m: #ec0085;
-    --v: #6c71c4;
-    --b: #0095ff;
-    --c: #00b0a3;
-    --g: #879a00;
-
-    /* default light */
-    --bg: var(--b3);
-    --rbg: var(--b2);
-    --fg0: var(--b0);
-    --fg: var(--b02);
-    --rfg: #000;
-    --hl: var(--r);
-}
-
-/* dark preferred */
-@media (prefers-color-scheme: dark)
-{
-    :root {
-        --bg: hsl(218,20%,16%);
-        --rbg: var(--b03);
-        --fg: var(--b0);
-        --fg0: var(--b00);
-        --rfg: var(--b2);
-        --hl: var(--g);
-        --y: #ae8c51;
-        --o: #a9654a;
-        --r: #af6255;
-        --m: #ae5e7d;
-        --v: #6774b2;
-        --b: #3f8cc3;
-        --c: #15a198;
-        --g: #939452;
-    }
-    img { filter: brightness(0.7) saturate(0.5); }
-    pre {
-        background: hsl(218,20%,18%);
-        border-color: hsl(218,15%,23%);
-    }
-}
-
-/* light checked */
-input#l:checked ~ div {
-    --bg: var(--b3);
-    --rbg: var(--b2);
-    --fg0: var(--b0);
-    --fg: var(--b02);
-    --rfg: #000;
-    --hl: var(--o);
-    --y: #c18600;
-    --o: #d84100;
-    --r: #e62729;
-    --m: #ec0085;
-    --v: #6c71c4;
-    --b: #0095ff;
-    --c: #00b0a3;
-    --g: #879a00;
-}
-input#l:checked ~ div img {
-    filter: none;
-}
-input#l:checked ~ div pre {
-    border: 1px solid hsl(218, 15%, 49%);
-    background: hsl(218, 40%, 96%);
-}
-
-/* dark checked */
-input#d:checked ~ div {
-    --bg: hsl(218,20%,16%);
-    --rbg: var(--b03);
-    --fg: var(--b0);
-    --fg0: var(--b00);
-    --rfg: var(--b2);
-    --hl: var(--g);
-    --y: #ae8c51;
-    --o: #a9654a;
-    --r: #af6255;
-    --m: #ae5e7d;
-    --v: #6774b2;
-    --b: #3f8cc3;
-    --c: #15a198;
-    --g: #939452;
-}
-input#d:checked ~ div img {
-    filter: brightness(0.7) saturate(0.5);
-}
-input#d:checked ~ div pre {
-    background: hsl(218,20%,18%);
-    border-color: hsl(218,15%,23%);
-}
-
-/* ---- */
-::selection {
-    background: var(--m);
-    color: hsl(218,40%,96%);
-    text-decoration: hsl(218,40%,96%);
-}
-
-body, body > div {
-    background: var(--bg);
-    color: var(--fg);
-}
-a,a:visited { color: var(--hl); }
-
-figcaption { color: var(--fg0); }
-
-/* ---- SYNTAX HIGHLIGHTING ---- */
-#table-of-contents { text-align: left; }
-
-.org-rainbow-delimiters-depth-1, .org-rainbow-delimiters-depth-9,
-.org-css-selector, .org-builtin,
-.IN_REVIEW, .ex {
-    color:var(--c);
-}
-
-.org-rainbow-delimiters-depth-2, .org-nix-builtin, .org-variable-name,
-.org-haskell-definition, .org-haskell-operator, .org-function-name, .org-diff-changed,
-.org-nix-attribute, .org-nxml-element-local-name, .op, .fu, .ot {
-    color:var(--b);
-}
-
-.org-rainbow-delimiters-depth-3, .HOLD, .WAITING {
-    color:var(--v);
-}
-
-.org-rainbow-delimiters-depth-4, .org-diff-hunk-header, .org-sh-quoted-exec,
-.CANCELED, .bu {
-    color:var(--m);
-}
-.org-rainbow-delimiters-depth-5, .org-diff-removed, .TODO {
-    color:var(--r);
-}
-.org-rainbow-delimiters-depth-6, .org-haskell-constructor, .dt  {
-    color:var(--o);
-}
-.org-rainbow-delimiters-depth-7, .org-type, .org-constant, .org-diff-header,
-.org-haskell-keyword, .org-haskell-type, .IN_PROGRESS, .kw {
-    color:var(--y);
-}
-.org-rainbow-delimiters-depth-8, .org-sh-heredoc, .org-diff-added, .org-string,
-.org-doc, .org-keyword, .DONE, .st {
-    color:var(--g);
-}
-
-.org-highlight-numbers-number, .org-highlight-number-number,
-.org-diff-none, .org-preprocessor, .org-comment-delimiter, .org-comment,
-.org-outshine-level-1, .org-outshine-level-2, .org-outshine-level-3,
-.org-outshine-level-4, .org-outshine-level-5, .org-outshine-level-6,
-.org-outshine-level-7, .org-outshine-level-8, .org-outshine-level-9, .co {
-    color:var(--fg0);
-}