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 {