//  Because of an indent bug in Internet Explorer, the following code will shorten
//  the indent of the body.  Other browsers will not change the indent.
if(navigator.appName.indexOf("Explorer") != -1) {
	document.write("<style>\n");

	document.write("\n#content {\nmargin-left: 15em;\n}\n");

	//  Printing margins were reset by the above statment because of a C.S.S. bug
	//  in Internet Explorer.  So we need to redefine them correctly.
	document.write("@media print {\n#content { margin-left: 0em; }\n}\n");

	document.write("</style>");
}