/* CSS definition file containing site wide stylesheets */

.JSOutput {
	font-family: Arial, Helvetica, Geneva, Sans-serif;
 	font-size: 12pt;
 	color: rgb(0,0,255);
 	font-weight: bold;
 	vertical-align: baseline;
 	font-variant: small-caps
}