@charset "utf-8";
body {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: 12px;
	color: #333333;
	text-decoration: none;
	margin-left: 5px;
}
.titlebig {
	color: #333333;
	text-decoration: none;
	font-size: 16px;
}
.titlesmall {
	color: #999999;
	text-decoration: none;
	font-size: 10px;
}
pre {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: 16px;
	color: #333333;
	text-decoration: none;
}
a:link {
	color: #990000;
}
a:visited {
	color: #990000;
}
a:hover {
	color: #990000;
}
a:active {
	color: #990000;
}