From a48b02dc136a0e49f30dd2c0be487938912ca791 Mon Sep 17 00:00:00 2001
From: "John \"Elwin\" Edwards" <elwin@rlgallery.org>
Date: Sat, 23 Jun 2012 17:41:27 -0700
Subject: [PATCH] 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.
---
 rlgterm.js    | 4 +++-
 style-rlg.css | 1 +
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/rlgterm.js b/rlgterm.js
index cde09ca..df19d73 100644
--- a/rlgterm.js
+++ b/rlgterm.js
@@ -822,7 +822,9 @@ function textsize(larger) {
     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 --git a/style-rlg.css b/style-rlg.css
index f81ecc3..0a91eed 100644
--- a/style-rlg.css
+++ b/style-rlg.css
@@ -77,6 +77,7 @@ div#nogames {
 
 div#keys {
 	display: none;
+	font-size: 12px;
 }
 
 div#debug {