update `public_html` static files

public_html/css/style.css

@@ -1,6 +1,6 @@
 /* variables */
 :root {
-  --font-size: 10pt;
+  --font-size: 9pt;
 	--line-height: 1.25;
   --font-family: monospace;
 
@@ -140,6 +140,10 @@ dd::before {
   color: var(--blue);
 }
 
+dd :is(blockquote, div, dl, figure, hr, menu, ol, p, pre, ul) {
+  margin-block: unset;
+}
+
 figcaption {
   position: relative;
   margin-inline-start: 1ch;
@@ -165,7 +169,7 @@ ul, menu {
 }
 
 li::marker {
-  color: var(--orange);
+  color: var(--blue);
 }
 
 ol>li::marker {
@@ -321,3 +325,13 @@ div.horizontal>* {
   display: block;
   text-align: center;
 }
+
+a.footnote-ref,
+a.footnote-back {
+  color: var(--orange);
+}
+
+a.footnote-ref>sup {
+  font-size: unset;
+  vertical-align: unset;
+}