help.html: raise line-height to 150%.

diff --git a/basis/help/html/stylesheet.css b/basis/help/html/stylesheet.css
index d81cc758b4ccc523f9584456b2a65386f0910490..ce40e2e85f946c2ef83c705328ef2addad4e24e3 100644 (file)
--- 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 c168052c862245fcdb5f13188f493a980885d8d8..b186c73eb7d0005742c50b359309e8e5546c7cd1 100644 (file)
--- 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 e72702b9871be4b8d505df40e5b9f0c4b56a9f5a..6932d1e13619d60700577d902ea93b6220a2e951 100644 (file)
--- 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 {