diff --git a/extra/webapps/planet/planet.css b/extra/webapps/planet/planet.css
index dff6eb4c45..5afc4ce4c8 100644
--- 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 b95bfc658e..51cbd9e43b 100644
--- 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 {