From b4ac50507cd3b4cc462f0dd4c3e62690b62baec1 Mon Sep 17 00:00:00 2001
From: John Benediktsson <mrjbq7@gmail.com>
Date: Thu, 27 Feb 2020 17:25:20 -0800
Subject: [PATCH] webapps: pre tag line-height.

---
 extra/webapps/planet/planet.css       | 1 -
 extra/websites/concatenative/page.css | 1 +
 2 files changed, 1 insertion(+), 1 deletion(-)

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 {