a year went by

This does many meta-things, but changes no functionality:
 - get rid of stack, and use just cabal with a stackage snapshot instead
   (why did I ever think stack was a good idea?)
 - update the stackage snapshot to something halfway recent
 - thus making builds work on nixpkgs-23.05 (current stable)
 - separating out packages into their own cabal files
 - use the GHC2021 set of extensions as default
 - very slight code changes to make things build again
 - update readme accordingly
 - stylish-haskell run

3 files changed, 8 insertions, 42 deletions

diff --git a/static/Genos-VariableFont_wght.ttf b/static/Genos-VariableFont_wght.ttf
deleted file mode 100644
index 0b96efd..0000000
--- a/static/Genos-VariableFont_wght.ttf
+++ /dev/null
diff --git a/static/Ubuntu-R.ttf b/static/Ubuntu-R.ttf
deleted file mode 100644
index d748728..0000000
--- a/static/Ubuntu-R.ttf
+++ /dev/null
diff --git a/static/style.css b/static/style.css
index b2e6db2..4d1a30e 100644
--- a/static/style.css
+++ b/static/style.css
@@ -1,23 +1,10 @@
 
-
-@font-face {
-    font-family: Ubuntu;
-    src: url(/Ubuntu-R.ttf);
-}
-
-@font-face {
-    font-family: Genos-divoc;
-    src: url(/Genos-VariableFont_wght.ttf);
-}
-
 body {
-    background-color: #57c0a2;
-    font-family: Ubuntu, sans-serif;
+    background-color: lightgray;
 }
 
 .btn {
     margin-left: 1em;
-    font-family: Ubuntu;
 }
 
 .main-content {
@@ -26,8 +13,8 @@ body {
     margin: auto;
     margin-top: 10em;
     margin-bottom: 5em;
-    max-width: 50em;
-    background-color: #ffebd8;
+    max-width: 80em;
+    background-color: white;
 }
 
 a {
@@ -72,10 +59,10 @@ ellipse {
         fill: black;
     }
     ellipse, polygon, path {
-        stroke: #a74db7;
+        stroke: lightgray;
     }
     polygon {
-        fill: #a74db7;
+        fill: lightgray;
     }
     #exitGraph {
         background-color: black;
@@ -95,28 +82,7 @@ h2 {
 h3 {
     font-size: 2rem;
 }
-h4{
-    color: #9945c5;
-}
-
-.badge-info {
-    background-color: #62c1a6;
-    color: black;
-}
 
-.badge-warning {
-    background-color: #fdbe4b;
-    color: black;
-}
-
-.badge-danger {
-    background-color: #ea4a72;
-    color: black;
-}
-
-.text-muted {
-    color: #9945c5 !important;
-}
 
 @media (prefers-color-scheme: dark) {
     body {
@@ -128,9 +94,9 @@ h4{
     }
 
     .text-muted {
-        color: #fdbe4b !important;
+        color: lightgray !important;
     }
-    h4 {
-        color: #ffebd8;
+    code {
+        color: lightgray !important;
     }
 }