// 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('<link rel="stylesheet" type="text/css" href="stylee_size1.css">'); }

if (textsize == 2)
{ document.write('<link rel="stylesheet" type="text/css" href="stylee_size2.css">'); }

if (textsize == 3)
{ document.write('<link rel="stylesheet" type="text/css" href="stylee_size3.css">'); }