Update index.html font-size 90% for examples

GregTonoski · Sep 3, 2024 · 8095b3c · 8095b3c
1 parent 54d324f
commit 8095b3c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/index.html b/index.html
@@ -71,6 +71,7 @@
 
       .mono {
         font-family: monospace, monospace;
+        font-size: 90%;
       }
     </style>
   </head>