changeset 130:6a1a716bb8c6

Some CSS tweaks for tablet browsers
author Mike Pavone <pavone@retrodev.com>
date Tue, 06 Aug 2013 00:53:03 -0700
parents 09b65b364927
children 8285784f5ff5
files editor.css
diffstat 1 files changed, 3 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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