--- a/src/site.css	Thu Jan 04 18:27:05 2024 -0700
+++ b/src/site.css	Fri Jan 05 01:34:32 2024 -0700
@@ -45,3 +45,32 @@
 	background-color: #EEE;
 	padding: 2px;
 }
+code[block] {
+	white-space: pre;
+	display: block;
+	padding: 1em;
+}
+code[block]:first-line {
+	line-height: 0;
+}
+
+div[toc] ul {
+	list-style-type: none;
+}
+div[toc] > ul {
+	padding-left: 0;
+}
+div[toc] > ul > li {
+	margin-bottom: 16px;
+}
+div[heading] {
+	display: flex;
+	justify-content: space-between;
+	margin-top: 36px;
+}
+div[heading] > * {
+	margin: 0;
+}
+div[heading] > a {
+	font-size: 14px;
+}