<!--
browser = new String('unknown');
version = new String('unknown');
system = new String('unknown');
modified = new String('unknown');
base = new String(location);
connection = new String('unknown');
now = new Date();

// set browser
if(navigator.appName.indexOf("Microsoft") > -1)      {browser = 'IExplorer';}
if(navigator.appName.indexOf("Netscape")  > -1)      {browser = 'Netscape';}

// set OS
if(navigator.appVersion.indexOf("Windows NT")  > -1) {system = 'WinNT';}
if(navigator.appVersion.indexOf("WinNT")  > -1)      {system = 'WinNT';}
if(navigator.appVersion.indexOf("Windows 95")  > -1) {system = 'Win95';}
if(navigator.appVersion.indexOf("Win95")  > -1)      {system = 'Win95';}
if(navigator.appVersion.indexOf("Win16")  > -1)      {system = 'Win16';}
if(navigator.appVersion.indexOf("X11")  > -1)        {system = 'X11';}
if(navigator.appVersion.indexOf("Mac")  > -1)        {system = 'Mac';}

// set version
version = parseFloat(navigator.appVersion);

// set modification date
if(Date.parse(document.lastModified) != 0) {modified = document.lastModified;}

// set connection
if(base.substring(0,4).toLowerCase()=='http'){connection = 'online';}
if(base.substring(0,4).toLowerCase()=='file'){connection = 'offline';}
if(base.substring(0,4).toLowerCase()=='mk:@'){connection = 'htmlhelp';}

// set base
if(connection == 'offline') {base = base.substring(0,base.indexOf("scenelib")+8);}
if(connection == 'online' ) {base = base.substring(0,base.indexOf("scenelib")+8);}
if(connection == 'htmlhelp'){base = "d:/SceneLib/doc/html/SceneLib";}

// write css
document.writeln("<STYLE type='text/css'>");
if(connection == 'htmlhelp')
{	document.writeln("BODY      {font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 8pt; color: #000000;}");
} else 
{	document.writeln("BODY      {font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 9pt; color: #000000;}");
}
document.writeln("H1        {font-size: 15pt; color: #FF0000;}");
document.writeln("H2        {font-size: 13pt; color: #FF0000;}");
document.writeln("H3        {font-size: 10pt; color: #FF0000;}");
document.writeln("SMALL     {font-size: 8pt; color: #000000;}"); 
document.writeln("PRE       {font-family: 'Courier New', Courier; font-size: 9pt; color: #0000A0;}");
if(connection == 'htmlhelp')
{	document.writeln("TD        {font-size: 8pt; color: #000000;}");
}	else 
{	document.writeln("TD        {font-size: 9pt; color: #000000;}");
}
document.writeln("A:link    {color: #0000FF;}");
document.writeln("A:visited {color: #0000FF;}");
document.writeln("A:hover   {color: #CC0000;}"); 
document.writeln("</style>");          
//-->