var a = 11
function fuente(bit)
{
if (bit == '1') a++
else a--
if (a < 11) a = 11
if (a > 20) a = 20
document.body.style.fontSize = a + "px"

}