document.getElementById("fontresizecontainer").innerHTML = "Font size: <a href='javascript:smalltext()'>Small</a> | Normal | <a href='javascript:largetext()'>Large</a>";
function largetext() {
   var text = document.getElementById('content').style.fontSize = "13px";
   document.getElementById("fontresizecontainer").innerHTML = "Font size: <a href='javascript:smalltext()'>Small</a> | <a href='javascript:defaulttext()'>Normal</a> | Large";
}
function defaulttext() {
   var text = document.getElementById('content').style.fontSize = "12px";
   document.getElementById("fontresizecontainer").innerHTML = "Font size: <a href='javascript:smalltext()'>Small</a> | Normal | <a href='javascript:largetext()'>Large</a>";
}
function smalltext() {
   var text = document.getElementById('content').style.fontSize = "11px";
   document.getElementById("fontresizecontainer").innerHTML = "Font size: Small | <a href='javascript:defaulttext()'>Normal</a> | <a href='javascript:largetext()'>Large</a>";
}