// display_text_menu.js
// simple javascript to display a dynamic text size menu


var textsize = ''; 
var cookieInfo = document.cookie; 
var cookieInfoArray = cookieInfo.split("="); 
textsize = parseInt(cookieInfoArray[1]); 

if (textsize > 0){
}
else
{
textsize = 1;
}



if (textsize != '1')
{ document.write('<a href="accessibility.shtml" onClick="change_and_set(1);location.reload(); return false;">standard</a> | '); }
else
{ document.write('standard | '); }

if (textsize != '2')
{ document.write('<a href="accessibility.shtml" onClick="change_and_set(2);location.reload(); return false;">large</a> | '); }
else
{ document.write('large | '); }

if (textsize != '3')
{ document.write('<a href="accessibility.shtml" onClick="change_and_set(3);location.reload(); return false;">largest</a> '); }
else
{ document.write('largest '); }

//location.reload();