Hola ¡holita!
Hay un fichero windows.js con (entre otras cosas, esto:
Código PHP:
function changeFont(id) {
// change lineheight
if (document.getElementById) {
document.getElementById(id).style.fontSize = newsfont+"px";
} else {
if (document.layers) {
document.layers[id].fontSize = newsfont+"px";
} else {
if (document.all) {
eval("document.all." + id + ".style.fontSize = \"" + newsfont + "px \"");
}
}
}
// fix layer scrolling problems now
updateHeight();
setCookie();
}
function larger() {
if (newsfont < 25) {
newsfont= newsfont +2;
changeFont('content');
}
}
function smaller() {
if (newsfont > 5) {
newsfont= newsfont-2;
changeFont('content');
}
}
Fíjate que tanto smaller como larger terminan con:
changeFont('content ');
... y content es ese "ID"...
Saludos