fontsize=0;
var args = getArgs();
if (args.fontsize) fontsize = parseInt(args.fontsize);
if (getCookie('TilimaticFont') && fontsize==0) fontsize=getCookie('TilimaticFont');
if (fontsize==0) fontsize=10;
fontsize = parseInt(fontsize);
if (fontsize >= 15) fontsize=15;
if (fontsize <= 8) fontsize=8;
var headlfont =fontsize+5;
document.write('<style type="text/css"><!--#contentfont2 { color: #4d4d4d; font-size: '+fontsize+'px; }//--></style>')
document.write('<style type="text/css"><!--#contentfont3 { color: #4d4d4d; font-size: '+fontsize+'px; }//--></style>')
document.write('<style type="text/css"><!--#contentfont4 { color: #4d4d4d; font-size: '+fontsize+'px; }//--></style>')
document.write('<style type="text/css"><!--#contentfont5 { color: #4d4d4d; font-size: '+fontsize+'px; }//--></style>')
document.write('<style type="text/css"><!--#mainheadlfont1 { color: #ed1c24; font-size: '+headlfont+'px; }//--></style>')
setCookie('TilimaticFont', fontsize, expire);

function ChangePageFonts ()
{
  var headlfont =fontsize+5;
  document.getElementById('contentfont2').style.fontSize = fontsize + "px";
  document.getElementById('contentfont3').style.fontSize = fontsize + "px";
  document.getElementById('contentfont4').style.fontSize = fontsize + "px";
  document.getElementById('contentfont5').style.fontSize = fontsize + "px";
  document.getElementById('mainheadlfont1').style.fontSize = headlfont + "px";
  setCookie('TilimaticFont', fontsize, expire);
}