From 71f639e503659ffbbb06452cf91a7fa4c5e25379 Mon Sep 17 00:00:00 2001
From: Tom Alexander <tom@fizz.buzz>
Date: Sun, 16 Feb 2025 20:09:17 -0500
Subject: [PATCH] Fix size of code blocks in headlines and make the line
 spacing more pleasant.

---
 default_environment/stylesheet/main.css | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/default_environment/stylesheet/main.css b/default_environment/stylesheet/main.css
index 904a9c5..5d80b37 100644
--- a/default_environment/stylesheet/main.css
+++ b/default_environment/stylesheet/main.css
@@ -84,7 +84,7 @@ body {
   width: 100%;
   max-width: var(--main-max-width);
   font-size: 1.2rem;
-  line-height: 1.2;
+  line-height: 1.4;
   padding-bottom: 8rem;
 
   /* A stand-alone blog post (not in a blog stream). */
@@ -166,7 +166,6 @@ body {
   .code,
   .verbatim {
     font-family: var(--src-font-family);
-    font-size: 1rem;
   }
 
   .quote_block {