From 96a7bac40d09b65b0efa23945373b50910621557 Mon Sep 17 00:00:00 2001
From: John Benediktsson <mrjbq7@gmail.com>
Date: Sun, 1 Mar 2020 13:31:08 -0800
Subject: [PATCH] webapps.wiki: tweak line-height to fix issue with title.

---
 extra/webapps/wiki/wiki.css           | 5 +++++
 extra/websites/concatenative/page.css | 1 -
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/extra/webapps/wiki/wiki.css b/extra/webapps/wiki/wiki.css
index e93746421c..e706039fef 100644
--- a/extra/webapps/wiki/wiki.css
+++ b/extra/webapps/wiki/wiki.css
@@ -52,6 +52,7 @@
     padding: 0;
     padding-left: 10px;
     padding-right: 10px;
+    line-height: 130%;
 }
 
 .contents ul {
@@ -74,6 +75,10 @@
     border-bottom: none;
 }
 
+.description {
+    line-height: 150%;
+}
+
 .description pre {
     padding: 5px;
     border: 1px dashed #ccc;
diff --git a/extra/websites/concatenative/page.css b/extra/websites/concatenative/page.css
index 51cbd9e43b..05b41c630d 100644
--- a/extra/websites/concatenative/page.css
+++ b/extra/websites/concatenative/page.css
@@ -13,7 +13,6 @@ body {
 body, button {
     font-size: 12pt;
     font-family: sans-serif;
-    line-height: 150%;
 }
 
 textarea {