diff --git a/html_resources/style.css b/html_resources/style.css
index a77198e..f76ea62 100644
--- a/html_resources/style.css
+++ b/html_resources/style.css
@@ -69,7 +69,7 @@ p.copyright {
 
 pre {
   width: 80ch;
-  font-size: 1em;
+  font-size: 0.9rem;
 }
 
 pre.terminal {