.maintext {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 12px;
}
ul {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 11px;
	color: #000099;

}
p {
	margin: 0px;
}
.code {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: 11px;
	font-style: normal;
	color: #000000;
	margin-left: 50px;
	line-height: 30px;
	background-color: #FFFFCC;
	font-weight: bold;
	margin-right: 60px;




}
.jumbotron p {
    margin-bottom: 15px;
    font-size: 12px; 
    font-weight: 200;
}
blockquote {
	margin-top: 0px;
}
.comments {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: 12px;
	font-style: italic;
	color: #009933;
	margin-left: 50px;
}
.bigintro {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 13px;
	font-weight: bold;
}
.buttons {
	font-family: "Courier New", Courier, mono;
	color: #FFFFFF;
	font-size: 12px;
}
A.buttons:link {
	font-family: "Courier New", Courier, mono;
	color: #FFFFFF;
	font-size: 12px;
}
A.buttons:visited {
	font-family: "Courier New", Courier, mono;
	color: #FFFFFF;
	font-size: 12px;
}
A.buttons:active {
	font-family: "Courier New", Courier, mono;
	color: #FFFFFF;
	font-size: 12px;
}
A.buttons:hover {
	font-family: "Courier New", Courier, mono;
	color: #FFFFFF;
	font-size: 12px;
}
ol {
	font-size: 11px;
	color: #00CC66;
}
.tests {
	font-weight: bold;
	color: #990000;
}
.error {
	font-size: 10px;
	font-style: italic;
	color: #FF0000;
}
.assignment {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 10px;
	color: #FF6699;
}
.future {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 9px;
	font-style: italic;
	font-weight: lighter;
	color: #99FFFF;
}