update `public_html` static files

2024-05-16 23:09:03 +02:00 · 2024-05-16 23:09:03 +02:00 · 66a866743d
parent c87f67039b
commit 66a866743d
1 changed files with 6 additions and 2 deletions
--- a/public_html/css/style.css
+++ b/public_html/css/style.css
@ -1,7 +1,7 @@
 /* variables */
 :root {
-  --font-size: 10pt;
-	--line-height: 1.625;
+  --font-size: 12pt;
+	--line-height: 1.25;
  --font-family: monospace;

  /* font-derived column width */
@ -161,6 +161,10 @@ code {
  color: var(--link-c);
 }

+sup {
+  line-height: 0;
+}
+

 /* image and multimedia */