// Used to change text size (measured in %)
var fontSize = 80;
var fontFamily = "Arial, Helvetica, sans-serif";
function changeFontSize(v) {
	var increment = 10;
	var maxFontSize = 140;
	var minFontSize = 50;

	fontSize += v * increment;
	if (fontSize > maxFontSize) {
		fontSize = maxFontSize;
	} else if (fontSize < minFontSize) {
		fontSize = minFontSize;
	}
	
	//var elements = document.getElementsByTagName("body");
	//elements.item(0).style["font"] = fontSize + "% " + fontFamily;

	var element = document.getElementById("mainbar");
	element.style["font"] = fontSize + "% " + fontFamily;
	
	// alert(fontSize + "% " + fontFamily);
}