var a = 10
function fuente(bit)
{
if (bit == '1') a++
else a--
if (a < 10) a = 10
if (a > 16) a = 16

var txt = document.getElementById('txt');
if (txt) txt.style.fontSize = a + 'px';
}