From: John Benediktsson <mrjbq7@gmail.com>
Date: Tue, 28 Jun 2022 02:37:44 +0000 (-0700)
Subject: websites.factorcode: larger fonts
X-Git-Tag: 0.99~1348
X-Git-Url: https://gitweb.factorcode.org/gitweb.cgi?p=factor.git;a=commitdiff_plain;h=f3144b148d6956041ec63088833eba1e3c464848

websites.factorcode: larger fonts
---

diff --git a/extra/websites/factorcode/master.css b/extra/websites/factorcode/master.css
index 03e778a899..9e5b2b0bb2 100644
--- a/extra/websites/factorcode/master.css
+++ b/extra/websites/factorcode/master.css
@@ -11,13 +11,13 @@ a:link, a:visited, a:active { text-decoration: none; }
 a:hover { text-decoration: underline; }
 
 body {
-    font-size: 12pt;
+    font-size: 14pt;
     font-family: sans-serif;
     text-align: center;
 }
 
 .page {
-    max-width: 800px;
+    max-width: 900px;
     text-align: left;
     line-height: 150%;
     padding: 10px;
@@ -30,7 +30,8 @@ img {
 
 pre {
     background-color: #f5f5f5;
-    border: 1px dashed #ccc;
+    border: 1px solid #ccc;
+    border-radius: 5px;
     margin-top: 10px;
     padding: 10px;
     font-size: smaller;