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

2020-03-01 13:31:08 -08:00 · 2020-03-01 13:31:08 -08:00 · 670f5a77a7
parent d326e8f788
commit 670f5a77a7
2 changed files with 5 additions and 1 deletions
--- 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;
--- 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 {