.code1 {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: 12px;
	font-style: normal;
	line-height: 30px;
	color: #000000;
	text-decoration: none;
	padding: 10px;
}
.codeintro1 {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: 12px;
	font-style: normal;
	line-height: 18px;
	color: #660000;
	text-decoration: none;
	padding: 10px;
}