From 3ec6034a0bf6178debe9f5e0e5b8637eac581071 Mon Sep 17 00:00:00 2001
From: Mike Gerwitz <mtg@gnu.org>
Date: Sat, 27 Jul 2019 14:52:59 -0400
Subject: [PATCH] style.css (article pre): Reduce line-height

---
 style.css | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/style.css b/style.css
index 37cb575..a81f4e2 100644
--- a/style.css
+++ b/style.css
@@ -380,6 +380,9 @@ article {
   line-height: 1.8em;
   margin: auto;
 }
+article pre {
+  line-height: 1.5em;
+}
 
 article section.footnotes {
   font-size: 0.9em;