<!--
agt=navigator.userAgent.toLowerCase();
d=document;
dom=(document.getElementById)?1:0;
ns=(d.layers)?1:0;
ns6=(dom&&navigator.appName=="Netscape");
ie=(d.all);
win=((agt.indexOf("win")!=-1) || (agt.indexOf("16bit")!=-1));
mac=(agt.indexOf("mac")!=-1);
nix=((agt.indexOf("x11")!=-1)|| (agt.indexOf("linux")!=-1));

// keywords: NN4 PC - 96dpi
if (ns && win) {d.write("<style type=\"text/css\">\n");
d.write(".body,th,td,span,.bt {font-family:arial,helvetica,verdana,sans-serif;font-size:small;}\n");
d.write(".ta,input {font-family:\"Andale Mono\",\"Courier New\",Courier,monospace;font-size:small;}\n");
d.write("small,.small {font-family:verdana,arial,sans-serif;font-size:x-small;}\n");
d.write("big,.big {font-size:medium;}\n");
d.write("</style>\n");	}

// keywords: NN4 Mac - 72dpi
else if (ns && mac) {d.write("<style type=\"text/css\">\n");
d.write(".body,body,th,td {font-family:arial,helvetica,verdana,sans-serif;font-size:medium;}\n");
d.write("small,.small {font-family:verdana,arial,sans-serif;font-size:small;}\n");
d.write("big,.big {font-size:big;}\n");
d.write("</style>\n");	}

// keywords: NN4 *nix - 72dpi
else if (ns && nix) {d.write("<style type=\"text/css\">\n");
d.write(".body,body,th,td,.bt {font-family:helvetica,clean,terminal,sans-serif;font-size:medium;}\n");
d.write(".ta,input,select {line-height:7px;font-family:\"Andale Mono\",\"Courier New\",Courier,monospace;font-size:small;}\n");
d.write("small,.small, {line-height:10px;font-family:helvetica,clean,terminal,sans-serif;font-size:small;}\n");
d.write("big,.big {font-family:helvetica,clean,terminal,sans-serif;font-size:110%;}\n");
d.write("</style>\n");}

// pixels: NN6 PC/Mac, IE Mac
else if (ns6 || (ie && mac)) {d.write("<style type=\"text/css\">\n");
d.write(".body,body,table {font-family:arial,helvetica,verdana,sans-serif;font-size:12px;}\n");
d.write("tr,th,td {font-size:12px;line-height:16px;}\n");
d.write("small,small b,small a,.small {font-family:verdana,arial,sans-serif;font-size:10px;line-height:14px;}\n");
d.write("big, big b, big a,.big,.big {font-size:14px;line-height:20px;}\n");
d.write("</style>\n");	}

// percentages: IE PC
else {d.write("<style type=\"text/css\">\n");
d.write(".body,body,td {font-family:arial,helvetica,verdana,sans-serif;font-size:79%;}\n");
d.write("td {line-height:1.25em;}\n");
d.write("small,.small {font-family:verdana,arial,sans-serif;font-size:81%;line-height:1.35em;}\n");
d.write("big,.big {color:black;font-size:125%;line-height:1.35em;}\n");
d.write("</style>\n");	}
//-->

