@charset "ISO-8859-1";
body {
	font-family: "Times New Roman", Times, serif;
	font-size: 0.9em;
}
h1 {
	font-size: 1.3em;
	font-family: "Times New Roman", Times, serif;
}