var min=8; var max=18; function increaseFontSize() { var p = document.getElementById("body-col"); if(p.style.fontSize)
var s = parseInt(p.style.fontSize.replace("px","")); else
var s = 13; if(s!=max)
s += 1; p.style.fontSize = s+"px"; var elements = p.getElementsByTagName("li"); for(var i = 0; i < elements.length; i++) { elements.item(i).style.fontSize = s+"px";}
elements = document.getElementsByTagName("h3"); for(var i = 0; i < elements.length; i++) { elements.item(i).style.fontSize = s+"px";}
s += 1; elements = document.getElementsByTagName("h2"); for(var i = 0; i < elements.length; i++) { elements.item(i).style.fontSize = s+"px";}
elements = document.getElementsByTagName("h1"); for(var i = 0; i < elements.length; i++) { elements.item(i).style.fontSize = s+"px";}
}
function increaseFontSizeLargest() { var p = document.getElementById("body-col"); if(p.style.fontSize)
var s = parseInt(p.style.fontSize.replace("px","")); else
var s = 16; if(s!=max)
s += 1; p.style.fontSize = s+"px"; var elements = p.getElementsByTagName("li"); for(var i = 0; i < elements.length; i++) { elements.item(i).style.fontSize = s+"px";}
elements = document.getElementsByTagName("h3"); for(var i = 0; i < elements.length; i++) { elements.item(i).style.fontSize = s+"px";}
s += 1; elements = document.getElementsByTagName("h2"); for(var i = 0; i < elements.length; i++) { elements.item(i).style.fontSize = s+"px";}
elements = document.getElementsByTagName("h1"); for(var i = 0; i < elements.length; i++) { elements.item(i).style.fontSize = s+"px";}
}
function decreaseFontSize() { var p = document.getElementById("body-col"); if(p.style.fontSize) { var s = parseInt(p.style.fontSize.replace("px",""));} else { var s = 11;}
if(s!=min) { s -= 1;}
p.style.fontSize = s+"px"; var elements = p.getElementsByTagName("li"); for(var i = 0; i < elements.length; i++) { elements.item(i).style.fontSize = s+"px";}
elements = document.getElementsByTagName("h3"); for(var i = 0; i < elements.length; i++) { elements.item(i).style.fontSize = s+"px";}
s += 1; elements = document.getElementsByTagName("h2"); for(var i = 0; i < elements.length; i++) { elements.item(i).style.fontSize = s+"px";}
elements = document.getElementsByTagName("h1"); for(var i = 0; i < elements.length; i++) { elements.item(i).style.fontSize = s+"px";}
}