<!--
// JavaScript Document
function set_cookie(name,value,days) {
    if (days) {
        var date = new Date();
        date.setTime(date.getTime()+(days*24*60*60*1000));
        var expires = "; expires="+date.toGMTString();
    }
    else var expires = "";
    document.cookie = name+"="+value+expires+"; path=/";
}

function get_cookie(name) {
    var name_eq = name + "=";
    var ca = document.cookie.split(';');
    for(var i=0;i < ca.length;i++) {
        var c = ca[i];
        while (c.charAt(0)==' ') c = c.substring(1,c.length);
        if (c.indexOf(name_eq) == 0) return c.substring(name_eq.length,c.length);
    }
    return null;
}
// underline the correct link when toggling text sizes on the page
function switchUnder(obj){
var ids=['size1','size2','size3'], i=0, id;
while(ID=ids[i++]){
document.getElementById(ID).style.textDecoration='none';
}
obj.style.textDecoration='underline';
}
function textsize1(){
document.body.style.fontSize='.75em'; set_cookie('page_size', '.75', 30);
}
function textsize2(){
document.body.style.fontSize='.81em'; set_cookie('page_size', '.81', 30);
}
function textsize3(){
document.body.style.fontSize='.87em'; set_cookie('page_size', '.87', 30);
}
// the following sets the underline in the correct place on page load based on the text size saved in the cookie
if(get_cookie("page_size") != null){  
    document.write('<style>');
    document.write('body{');
    document.write('font-size:'+ get_cookie("page_size") + 'em');
    document.write('}');
if (get_cookie("page_size")==".75"){
    document.write('div#topsection .rightlink a#size1 {text-decoration:underline;}');
    document.write('div#topsection .rightlink a#size2 {text-decoration:none;}');
    document.write('div#topsection .rightlink a#size3 {text-decoration:none;}');
}
else
if (get_cookie("page_size")==".81"){
    document.write('div#topsection .rightlink a#size1 {text-decoration:none;}');
    document.write('div#topsection .rightlink a#size2 {text-decoration:underline;}');
    document.write('div#topsection .rightlink a#size3 {text-decoration:none;}');
}
else
if (get_cookie("page_size")==".87"){
    document.write('div#topsection .rightlink a#size1 {text-decoration:none;}');
    document.write('div#topsection .rightlink a#size2 {text-decoration:none;}');
    document.write('div#topsection .rightlink a#size3 {text-decoration:underline;}');
}   
    document.write('</style>')
}else{
    document.write('<style>');
    document.write('body{');
    document.write('font-size: .81em');
    document.write('}');
    document.write('</style>')  
}
-->
