webapps.wiki: tweak line-height to fix issue with title.

diff --git a/extra/webapps/wiki/wiki.css b/extra/webapps/wiki/wiki.css
index e93746421c2f8c3460ca2aba78e49b2cd76022c8..e706039fefa44763c1aca03163a6c498c2edbfab 100644 (file)
--- 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 51cbd9e43ba39db521f36435e3a70f157b589405..05b41c630d4331bf9707fb7b1d92b3e5ba8b5f7b 100644 (file)
--- 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 {