font {
	font-size: 12pt;

}

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

}

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

}