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 {