Reduce font size generally

src/http/static/mediocre.css

@@ -1,33 +1,69 @@
-
 :root {
 
---m-red: #EE7F38;
+    /* Light theme */
---m-dark: #023B47;
+    --m-l-primary: #295E52;
---m-light: #fefcf3;
+    --m-l-secondary: #EE7F38;
---m-blue: #295E52;
+    --m-l-bg: #FCFCFC;
+    --m-l-bg-secondary: #FEFCF3;
+    --m-l-bg-contrast: #303030;
 
---nc-tx-1: var(--m-dark);
+    /* Dark theme */
---nc-tx-2: #000;
+    --m-d-primary: #BADA55;
+    --m-d-secondary: #EE7F38;
+    --m-d-bg: #424242;
+    --m-d-bg-secondary: #212121;
+    --m-d-bg-contrast: #DDD;
+}
 
---nc-bg-1: #FFF;
+/* Plugging theming into new.css */
---nc-bg-2: var(--m-light);
+:root {
---nc-bg-3: var(--m-dark);
+    --nc-tx-1: var(--m-l-bg-contrast);
+    --nc-tx-2: var(--m-l-bg-contrast);
+    --nc-bg-1: var(--m-l-bg);
+    --nc-bg-2: var(--m-l-bg-secondary);
+    --nc-bg-3: var(--m-l-primary);
+    --nc-lk-1: var(--m-l-primary);
+    --nc-lk-2: var(--m-l-secondary);
+    --nc-lk-tx: var(--m-l-bg);
+    --nc-ac-1: var(--m-l-bg-contrast);
+    --nc-ac-tx: var(--m-l-bg);
 
---nc-lk-1: var(--m-blue);
+    --nc-d-tx-1: var(--m-d-bg-contrast);
---nc-lk-2: var(--m-red);
+    --nc-d-tx-2: var(--m-d-bg-contrast);
---nc-lk-tx: #FFF;
+    --nc-d-bg-1: var(--m-d-bg);
+    --nc-d-bg-2: var(--m-d-bg-secondary);
+    --nc-d-bg-3: var(--m-d-primary);
+    --nc-d-lk-1: var(--m-d-primary);
+    --nc-d-lk-2: var(--m-d-secondary);
+    --nc-d-lk-tx: var(--m-d-bg);
+    --nc-d-ac-1: var(--m-d-bg-contrast);
+    --nc-d-ac-tx: var(--m-d-bg);
+}
 
---nc-ac-1: var(--m-red);
+@media (prefers-color-scheme: dark) {
---nc-ac-tx: var(--m-light);
+
+    :root {
+        --nc-tx-1: var(--nc-d-tx-1);
+        --nc-tx-2: var(--nc-d-tx-2);
+        --nc-bg-1: var(--nc-d-bg-1);
+        --nc-bg-2: var(--nc-d-bg-2);
+        --nc-bg-3: var(--nc-d-bg-3);
+        --nc-lk-1: var(--nc-d-lk-1);
+        --nc-lk-2: var(--nc-d-lk-2);
+        --nc-lk-tx: var(--nc-d-lk-tx);
+        --nc-ac-1: var(--nc-d-ac-1);
+        --nc-ac-tx: var(--nc-d-ac-tx);
+    }
 }
 
 html {
   font-family: Georgia, serif;
-  font-size: 1.3em;
+  font-size: 1em;
 }
 
 header {
     background: var(--nc-bg-1);
+    font-size: 1.5rem;
 }
 
 h1, h2, h3, h4, h5, h6, .button-primary, .button, header, footer {
@@ -59,10 +95,6 @@ hr {
   opacity: 25%;
 }
 
-table {
-    font-size: 0.8rem;
-}
-
 /* Undo the coloring that new.css does */
 table tr:nth-child(even) {
   background-color: initial;

src/http/tpl/index.html

@@ -14,7 +14,7 @@
   <table>
 
     <colgroup>
-       <col span="1" style="width: 6rem;">
+       <col span="1" style="width: 7rem;">
        <col span="1">
        <col span="1" style="width: 50%;">
     </colgroup>