body {
	font-family: Arial, Helvetica, sans-serif ;
	font-size: 9pt;

body { font-size: 75%; } /* fix bizarre IE5.0 positioning bug */
	}

h4 { font-size: 1.8em; }


#searchbox {
	font-size: 9pt;
		}