update static files

public_html/css/style.css

@@ -15,14 +15,19 @@
   --main-gap-v: 0;
 
   /* font-derived column width */
-  --col-w: calc(clamp(33.33vw, 74ch, 100vw) - 2ch);
+  --col-w: clamp(33.33vw, 80ch, 100vw);
 
   /* colors */
-  --fg-c: #000000;
-  --bg-c: #ffffff;
+  --fg-c: #e2e2e2;
+  --bg-c: #000000;
+  /*
 	--link-c: hsl(240 100% 50%);
 	--visited-c: hsl(270 100% 50%);
 	--active-c: hsl(0 100% 50%);
+  */
+	--link-c: #856cff;
+	--visited-c: #ff1170;
+	--active-c: #fa3500;
 }
 
 @media (prefers-color-scheme: dark) {
@@ -42,8 +47,9 @@
   hyphens: auto;
 }
 
-*:focus {
-  outline: var(--link-c) solid 1px;
+::selection {
+  color: var(--bg-c);
+  background-color: var(--fg-c);
 }
 
 /* root */
@@ -66,54 +72,14 @@ h1, h2, h3, h4, h5, h6 {
 }
 
 /* text content */
-/*
-:is(article :is(blockquote, dl, figure, menu, ol, p, pre, ul, div)) +
-:is(article :is(blockquote, dl, figure, menu, ol, p, pre, ul, div)) {
-  margin-block-start: var(--v-un);
-}
 
-:is(article :is(blockquote, dl, figure, menu, ol, p, pre, ul)) +
-:is(article :is(h1, h2, h3, h4, h5, h6)) {
+:is(h1, h2, h3, h4, h5, h6) {
   margin-block-start: calc(2 * var(--v-un));
   margin-block-end: var(--v-un);
 }
 
-:is(article :is(blockquote, dl, figure, menu, ol, p, pre, ul, div)) +
-:is(article :is(address, article, aside, footer, header, hgroup, nav, section, search)) {
-  margin-block-start: var(--v-un);
-}
-
-:is(article :is(h1, h2, h3, h4, h5, h6)) +
-:is(article :is(blockquote, dl, figure, menu, ol, p, pre, ul)) {
-  margin-block-start: var(--v-un);
-}
-
-:is(article :is(h1, h2, h3, h4, h5, h6)) +
-:is(article :is(h1, h2, h3, h4, h5, h6)) {
-  margin-block-start: calc(2 * var(--v-un));
-  margin-block-end: var(--v-un);
-}
-
-:is(article :is(h1, h2, h3, h4, h5, h6)) +
-:is(article :is(address, article, aside, footer, header, hgroup, nav, section, search)) {
-  margin-block-start: var(--v-un);
-}
-
-:is(article :is(address, article, aside, footer, header, hgroup, nav, section, search)) +
-:is(article :is(blockquote, dl, figure, menu, ol, p, pre, ul, div)) {
-  margin-block-start: var(--v-un);
-}
-
-:is(article :is(address, article, aside, footer, header, hgroup, nav, section, search)) +
-:is(article :is(h1, h2, h3, h4, h5, h6)) {
-}*/
-
-article :is(h1, h2, h3, h4, h5, h6) {
-  margin-block-start: calc(2 * var(--v-un));
-  margin-block-end: var(--v-un);
-}
-
-article :is(blockquote, dl, figure, menu, ol, p, pre, ul, div) {
+:is(blockquote, div, dl, figure, hr, menu, ol, p, pre, ul) +
+:is(blockquote, div, dl, figure, hr, menu, ol, p, pre, ul) {
   margin-block-start: var(--v-un);
 }
 
@@ -121,6 +87,14 @@ blockquote {
 	margin-inline: calc(4 * var(--h-un));
 }
 
+dt {
+  font-style: italic;
+}
+
+dd {
+  padding-inline-start: calc(4 * var(--h-un));
+}
+
 ol, ul, menu {
   padding-inline-start: calc(4 * var(--h-un));
 }
@@ -129,12 +103,15 @@ ol, ul, menu {
   margin-block: unset;
 }
 
+li :is(blockquote, div, dl, figure, hr, menu, ol, p, pre, ul) {
+  margin-block: unset;
+}
+
 ul>li::marker {
 	content: "- ";
 }
 
 hr {
-  margin-block-start: var(--v-un);
 	color: unset;
 	border: unset;
   text-align: center;
@@ -144,13 +121,12 @@ hr:after {
   content: "---";
 }
 
-dt {
-  font-style: italic;
+pre {
+  margin-inline: calc(4 * var(--h-un));
+  color: var(--link-c);
+  overflow-y: scroll;
 }
 
-dd {
-  padding-inline-start: calc(4 * var(--h-un));
-}
 
 /* inline text semantics */
 a {
@@ -184,11 +160,29 @@ body>main {
 	overflow-x: scroll;
 }
 
-body>main>* {
+body>main>article {
 	overflow-y: scroll;
   padding: var(--v-un) var(--h-un);
 }
 
+article:focus {
+  outline: none;
+}
+
+/* toc */
+nav.toc {
+  margin-block: var(--v-un);
+}
+
+/* footnotes */
+aside.footnotes {
+  margin-block: var(--v-un);
+}
+
+aside.footnotes>hr {
+  font-weight: bold;
+}
+
 /* fenced divs */
 div.horizontal {
   display: grid;
@@ -196,3 +190,12 @@ div.horizontal {
   grid-auto-columns: 100%;
   overflow-x: scroll;
 }
+
+div.horizontal>* {
+  margin-block: unset;
+}
+
+.display.math {
+  display: block;
+  text-align: center;
+}

public_html/favicon.svg

@@ -5,5 +5,5 @@
   viewBox="0 0 32 32"
   xmlns="http://www.w3.org/2000/svg"
   xmlns:svg="http://www.w3.org/2000/svg">
-  <rect style="fill:hsl(270 100% 50%)" width="32" height="32" x="0" y="0" />
+  <rect style="fill:#ff1170" width="32" height="32" x="0" y="0" />
 </svg>