body {		background: #FFFFFF; 	color: #000000; 	font-weight: normal;        font-family: Times, serif;	font-size: 18px;}table {        font-size: 18px;}a:link { 	color: #d3595e;	text-decoration: underline;	font-weight: bold; } a:visited { 	color: #a3393e; 	text-decoration: none;	font-weight: bold; }b { 	font-weight: bold; }h1 {    	font-family: Arial, sans-serif;	font-size: x-large;	font-weight: bold; 	font-style: normal; }h2 { 	font-size: x-large; 	font-weight: bold;}h3 { 	font-size: large;	font-weight: bold;}pre {	font-size: 12px;}h4 { 	font-size: large;	font-weight: normal; }