webapps: pre tag line-height.

2020-02-27 17:25:20 -08:00 · 2020-02-27 17:25:20 -08:00 · b4ac50507c
parent dafb567492
commit b4ac50507c
2 changed files with 1 additions and 1 deletions
--- 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 {
--- 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 {