font {
	font-size: 14pt;

}

pre {
	font-size: 10pt;
	font-family: times;

}

h5 {
	font-size: 12pt;
	font-family: "Book Antiqua";
	

}

div {
	font-size: 15pt;
	font-family: "Book Antiqua";
	

}

h6 {
	font-size: 11pt;
	font-family: "Book Antiqua";
	color: #000080;
	

}