diff style-rlg.css @ 77:f8bb37f48d58

Make font resizing affect the keyboard too. The keyboard font size now changes along with the terminal font size. This allows the keyboard to work at page widths down at least to 600px.
author John "Elwin" Edwards <elwin@sdf.org>
date Sat, 23 Jun 2012 17:41:27 -0700
parents a497ecd116d9
children 6145e1ea7ace
line wrap: on
line diff
--- a/style-rlg.css	Sat Jun 23 17:11:51 2012 -0700
+++ b/style-rlg.css	Sat Jun 23 17:41:27 2012 -0700
@@ -77,6 +77,7 @@
 
 div#keys {
 	display: none;
+	font-size: 12px;
 }
 
 div#debug {