window.onload = function(e) {
if (document.getElementById && document.getElementById("CurrentSize") != null) {
if(document.getElementById("CurrentSize").value == "")
resetCurrentsize();
else
setCurrentsize(document.getElementById("CurrentSize").value);
document.getElementById("sizer").style.cssText = "display: block; float: right;";
}}

function getCurrentsize() {
return currentSize;
}

function setCurrentsize(newsize) {
currentSize = newsize;
if (document.getElementById) {
document.getElementById("resizeableText").style.cssText = "font-size:"+currentSize+"px";
document.getElementById("sizer").style.cssText = "display: block;";
}}

function resetCurrentsize() {
currentSize = 11;
document.getElementById("CurrentSize").value = currentSize;
if (document.getElementById) {
document.getElementById("resizeableText").style.cssText = "font-size:"+currentSize+"px";  	
}}

function sizeUp() {
if (document.getElementById) {
currentSize++;
document.getElementById("CurrentSize").value = currentSize;
document.getElementById("resizeableText").style.cssText = "font-size:"+currentSize+"px";
}}

function sizeDown() {
if (document.getElementById) {
currentSize--;
document.getElementById("CurrentSize").value = currentSize;
document.getElementById("resizeableText").style.cssText = "font-size:"+currentSize+"px";
}}
var previousDiv = null;
var previousClasses = null;