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;
           }