From 35927c51157a5b5446aa8aa793d949ea43ee5b33 Mon Sep 17 00:00:00 2001
From: tildearrow <me@tildearrow.org>
Date: Mon, 11 Sep 2023 00:04:40 -0500
Subject: [PATCH] increase line height

---
 res/docpdf/make_paper.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/res/docpdf/make_paper.py b/res/docpdf/make_paper.py
index dd5c62eb5..168bab5d7 100644
--- a/res/docpdf/make_paper.py
+++ b/res/docpdf/make_paper.py
@@ -119,7 +119,7 @@ if __name__ == "__main__":
           }
           body {
             font-family: 'Exo 2';
-            line-height: 1.2;
+            line-height: 1.25;
             font-size: 11pt;
             color: #000;
           }