document.write ('<style type = "text/css">\n');
document.write ('OL, UL {  font-weight:bold; color:"#404040"; margin-top: 0; margin-bottom: 0;');
if (navigator.appName.indexOf('Microsoft') != -1) {
	document.write (' margin-left: 4em');
}
document.write ('}\n.x{ font-weight:normal; color:black}</style>');