/* CSS Document */

body {
	font-size: 16px;
}
pre {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 11px;
}
.red {
	color: #FF0000;
}
.blue {
	color: #0000FF;
}
.green {
	color: #009900;
}
.sizesmall {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 12px;
}
.size1 {
	font-size: 20px;
}
.size2 {
	font-size: 24px;
}
.size3 {
	font-size: 28px;
}