.bodytext {
	font-size: 12px;
	color: #EE9FF2;
	font-family: Georgia, "Times New Roman", Times, serif;
}
.bigtitle {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: 36px;
	font-weight: bolder;
	color: #F43EC2;
	letter-spacing: .5em;
}
a {
	color: #DF4BE7;
}
.section {
	font-size: 12px;
	color: #F558F5;
	font-family: Georgia, "Times New Roman", Times, serif;
	font-weight: bold;
}
pre {
	font-style: normal;
	color: #BD78E2;
	letter-spacing: 0.12em;
	font-size: 10px;
	font-weight: bold;
}