// JavaScript Document
var width = screen.width;
var height = screen.height;
var browser=navigator.appName;

if((width == 1024) & (height == 768))
{
	document.write('<style type="text/css">#menu li a{font-size:12px;} #menu li li a, #menu li li li a{font-size:9.5px;}</style>');
}
if((width == 800) & (height == 600))
{
	document.write('<style type="text/css">#menu li a{font-size:11.5px;} #menu li li a, #menu li li li a{font-size:8.5px;} div#main{width:600px;}</style>');
}
if (browser=="Microsoft Internet Explorer")
{
  document.write('<style type="text/css">#main li{list-style-type:square;}, #extra li{list-style-type:square;}</style>');
}