changeset 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 06375a159188
files rlgterm.js style-rlg.css
diffstat 2 files changed, 4 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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;
--- 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 {