style: adjust font size of terminal sections

2024-01-09 08:42:58 +01:00 · 2024-01-09 08:42:58 +01:00 · 2eddcab052
parent ea3123eceb
commit 2eddcab052
1 changed files with 1 additions and 1 deletions
--- 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 {