diff --git a/docs/sandbox.html b/docs/sandbox.html index 917ed6970d..ecc2e7fbb7 100644 --- a/docs/sandbox.html +++ b/docs/sandbox.html @@ -72,9 +72,8 @@ div.egcode { font-family: Courier; - font-size: 14px; + font-size: 12px; } -