# HG changeset patch
# User John "Elwin" Edwards <elwin@sdf.org>
# Date 1340498487 25200
# Node ID f8bb37f48d584d44db7ca575db798deb2c6e66c9
# Parent  a497ecd116d900ca69692ec8569f43856c592e8c
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.

diff -r a497ecd116d9 -r f8bb37f48d58 rlgterm.js
--- a/rlgterm.js	Sat Jun 23 17:11:51 2012 -0700
+++ b/rlgterm.js	Sat Jun 23 17:41:27 2012 -0700
@@ -822,7 +822,9 @@
     else
       nsize = 48;
   }
-  document.getElementById("term").style.fontSize = nsize.toString() + "px";
+  var cssvalstr = nsize.toString() + "px";
+  document.getElementById("term").style.fontSize = cssvalstr;
+  document.getElementById("keys").style.fontSize = cssvalstr;
   termemu.fixsize();
   debug(1, "Changing font size to " + nsize.toString());
   return;
diff -r a497ecd116d9 -r f8bb37f48d58 style-rlg.css
--- 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 {