@charset "ISO-8859-1";
/* CSS Document */
html {height:100.5%; font-size: 62.5%;}
body {
	font-family: Arial, Helvetica, sans-serif;
}
p {
	font-size: 1.2em;
}
td { }
a:link { }
a:visited { }
a:hover { }
a:active { }
.red {
	color: #F00;
}
pre {
	font-size: 1.2em;
}