From 494c71161d6c2da77d615a442cad798dc950990a Mon Sep 17 00:00:00 2001
From: u <@>
Date: Tue, 10 Mar 2026 13:17:46 +0200
Subject: style

---
 src/lib.rs | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

diff --git a/src/lib.rs b/src/lib.rs
index 55d542b..7fe2a73 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -121,6 +121,7 @@ pre {
   white-space: -pre-wrap;
   white-space: -o-pre-wrap;
   word-wrap: break-word;
+  font-family: serif;
 }
 .remark {
   box-sizing: content-box;
@@ -147,14 +148,14 @@ body {
 
   p, a.sec, pre {
     padding: 0 4vw;
-/*align: center;
-display:flex;
-align-items: center;
-justify-content: center;*/
+    /*align: center;
+    display:flex;
+    align-items: center;
+    justify-content: center;*/
   }
 }
 pre {
-  font-size: 12pt;
+  font-size: 14pt;
 }
 a, p { font-size: 14pt; }
 a.splink { color: #005953; font-size: inherit; }
-- 
cgit v1.2.3