--- a/src/site.css	Fri Jan 05 01:34:32 2024 -0700
+++ b/src/site.css	Fri Jan 05 20:58:57 2024 -0700
@@ -42,17 +42,20 @@
 }
 
 code {
-	background-color: #EEE;
+	background-color: #DDD;
+	white-space: pre;
 	padding: 2px;
 }
 code[block] {
-	white-space: pre;
 	display: block;
 	padding: 1em;
 }
 code[block]:first-line {
 	line-height: 0;
 }
+span[pre] {
+	white-space: pre;
+}
 
 div[toc] ul {
 	list-style-type: none;