function setFontSize(fSize) {
var newSize=fSize+"pt";	
document.body.style.fontSize=newSize;
document.cookie='savedFontSize=' + fSize;
}
function createFontMenu() {
var savedFontSize = GetCookie('savedFontSize');
var fontSizes = new Array(8, 9, 10, 11, 12, 13, 14, 15, 20, 25, 30);
if (savedFontSize) {
var newSize=savedFontSize+"pt";	
document.body.style.fontSize=newSize;
} else {
savedFontSize = 13;
var newSize=savedFontSize+"pt";	
document.body.style.fontSize=newSize;
}
document.writeln('<FORM name="fmenu" id="fmenu">');
document.writeln('<div id="fontMenu" style="position: fixed; right: 0; top:0;">');
document.writeln('<select name="fSize" id="fSize" onChange="setFontSize(this.options[this.selectedIndex].value); return true;">');
for (var i = 0; i < fontSizes.length; i++) {
if (savedFontSize == fontSizes[i]) {
document.writeln('<option value="' + fontSizes[i] +'" selected>Font Size ' + fontSizes[i] + '<\/option>');
} else {
document.writeln('<option value="' + fontSizes[i] +'">Font Size ' + fontSizes[i] + '<\/option>');
}
}
document.writeln('<\/Select><\/div><\/form>');
return true;
}
function getCookieVal (offset) {
var endstr = document.cookie.indexOf (";", offset);
if (endstr == -1) { endstr = document.cookie.length; }
return unescape(document.cookie.substring(offset, endstr));
}
function GetCookie (name) {
var arg = name + "=";
var alen = arg.length;
var clen = document.cookie.length;
var i = 0;
while (i < clen) {
var j = i + alen;
if (document.cookie.substring(i, j) == arg) {
return getCookieVal(j);
}
i = document.cookie.indexOf(" ", i) + 1;
if (i == 0) {break;}
}
return null;
}