body {
	color: #003300;
	font-family: "Times New Roman", Garamond, Palatino;
	font-size: 13pt;
	font-style: italic;
}