# HG changeset patch
# User Mike Pavone <pavone@retrodev.com>
# Date 1375775583 25200
# Node ID 6a1a716bb8c668757f0ac413c8dff9747dc0e33d
# Parent  09b65b364927ab4ba0d55e862e8a24accc3440d5
Some CSS tweaks for tablet browsers

diff -r 09b65b364927 -r 6a1a716bb8c6 editor.css
--- a/editor.css	Tue Aug 06 00:17:44 2013 -0700
+++ b/editor.css	Tue Aug 06 00:53:03 2013 -0700
@@ -137,6 +137,9 @@
 	border-style: solid;
 	border-color: lightgrey;
 	display: inline-block;
+	line-height: 6mm;
+	margin-left: 0.5mm;
+	margin-right: 0.5mm;
 }
 
 #src div