.didacontents {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: medium;
	color: #000066;
}
.linenumbers {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: large;
	font-weight: bold;
	color: #FF6600;
}