webapps: pre tag line-height.

diff --git a/extra/webapps/planet/planet.css b/extra/webapps/planet/planet.css
index dff6eb4c459fbabfb9e1b19550133a155befbf9e..5afc4ce4c8eb5ebcff68a92d2dba799213780770 100644 (file)
--- a/extra/webapps/planet/planet.css
+++ b/extra/webapps/planet/planet.css
@@ -15,7 +15,6 @@ h1.planet-title {
 
 pre, code {
        color: #000000;
-       font-size: smaller;
 }
 
 .infobox {

diff --git a/extra/websites/concatenative/page.css b/extra/websites/concatenative/page.css
index b95bfc658ec589e9b38493480b6289cfa352c492..51cbd9e43ba39db521f36435e3a70f157b589405 100644 (file)
--- a/extra/websites/concatenative/page.css
+++ b/extra/websites/concatenative/page.css
@@ -28,6 +28,7 @@ table {
 pre {
     overflow: auto;
     font-size: smaller;
+    line-height: 125%;
 }
 
 .link-button {