diff --git a/playground/index.html b/playground/index.html
index 5401ad08..657b6ba3 100644
--- a/playground/index.html
+++ b/playground/index.html
@@ -10,7 +10,7 @@
diff --git a/playground/playground.css b/playground/playground.css
index 5b89b6f3..294746ce 100644
--- a/playground/playground.css
+++ b/playground/playground.css
@@ -25,4 +25,5 @@ body {
background: rgb(36,36,36);
color: rgb(217,217,217);
font-family: monospace;
+ font-size: 10pt;
}