update `public_html` static files

public_html/css/style.css

@@ -1,7 +1,7 @@
 /* variables */
 :root {
 	--font-size: 12pt;
-	--line-height: 1.25;
+	--line-height: 1.625;
   --font-family: monospace;
 
   /* font-derived column width */
@@ -193,20 +193,36 @@ td {
 /* layout */
 
 main {
-  height: 100vh;
 	display: grid;
-  grid-auto-flow: column;
-  grid-auto-columns: var(--col-w);
-	overflow-x: scroll;
+  grid-template-columns: auto 1fr;
 }
 
-main>* {
+main>nav {
   padding: 1rlh 1ch;
-	overflow-y: scroll;
+}
+
+main>nav>a {
+  display: inline-block;
+  margin-block-start: 2rlh;
+}
+
+/* div#posts */
+
+div#posts {
+  height: 100vh;
+  display: grid;
+  grid-auto-flow: column;
+  grid-auto-columns: var(--col-w);
+  overflow-x: scroll;
 }
 
 /* article.post */
 
+article.post {
+  padding: 1rlh 1ch;
+  overflow-y: scroll;
+}
+
 article.post>header,
 article.post>nav {
   margin-block: 1rlh;