From ba09d70b8bc7c4b20658e7307b1bd5ff5aea380c Mon Sep 17 00:00:00 2001
From: John Benediktsson <mrjbq7@gmail.com>
Date: Thu, 27 Feb 2020 16:49:48 -0800
Subject: [PATCH] help.html: raise line-height to 150%.

---
 basis/help/html/stylesheet.css        | 2 +-
 extra/webapps/help/search.xml         | 2 +-
 extra/websites/concatenative/page.css | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/basis/help/html/stylesheet.css b/basis/help/html/stylesheet.css
index d81cc758b4..ce40e2e85f 100644
--- a/basis/help/html/stylesheet.css
+++ b/basis/help/html/stylesheet.css
@@ -13,7 +13,7 @@ a:hover, .link:hover { text-decoration: underline; }
 body {
     margin: 0;
     font-family: sans-serif;
-    line-height: 140%;
+    line-height: 150%;
 }
 
 input {
diff --git a/extra/webapps/help/search.xml b/extra/webapps/help/search.xml
index c168052c86..b186c73eb7 100644
--- a/extra/webapps/help/search.xml
+++ b/extra/webapps/help/search.xml
@@ -20,7 +20,7 @@
                 margin: 0;
                 font-family: sans-serif;
                 font-size: 12pt;
-                line-height: 140%;
+                line-height: 150%;
             }
 
             a { color: #104e8b; }
diff --git a/extra/websites/concatenative/page.css b/extra/websites/concatenative/page.css
index e72702b987..6932d1e136 100644
--- a/extra/websites/concatenative/page.css
+++ b/extra/websites/concatenative/page.css
@@ -13,7 +13,7 @@ body {
 body, button {
     font-size: 12pt;
     font-family: sans-serif;
-    line-height: 140%;
+    line-height: 150%;
 }
 
 textarea {