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.
This commit is contained in:
John "Elwin" Edwards 2012-06-23 17:41:27 -07:00
parent 2ab0de0799
commit a48b02dc13
2 changed files with 4 additions and 1 deletions

View file

@ -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;

View file

@ -77,6 +77,7 @@ div#nogames {
div#keys {
display: none;
font-size: 12px;
}
div#debug {