chore: decrease playground font size

sno2 · Nov 20, 2024 · ad98b50 · ad98b50
1 parent 125cd14
commit ad98b50
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/playground/index.html b/playground/index.html
@@ -443,7 +443,7 @@ <h2>Examples</h2>
 `,
             language: "x",
             theme: "vs-dark",
-            fontSize: 16.5,
+            fontSize: 15,
             fontFamily: "'Roboto Mono', monospace",
             automaticLayout: true,
             wordWrap: "on",