From afa6e6d070a0893376bf82c481eadc8e93c1ebdb Mon Sep 17 00:00:00 2001 From: Mohit Muthanna Cheppudira Date: Fri, 18 May 2012 15:00:27 -0400 Subject: [PATCH] Some small fixes to sandbox. --- docs/sandbox.html | 98 ++++++++++++++++++++++------------------------ docs/tutorial.html | 3 +- 2 files changed, 48 insertions(+), 53 deletions(-) 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; } -