body {
	background-color: #CFCFCF;
	font-family: Tahoma, Arial, Helvetica;
	font-size: medium;
}
div {
	margin: 5px 5px 10px 0px;
	padding: 5px 5px 5px 5px;
}
h1, h2, h3 {
	margin: 5px 0px 10px 0px;
}
.problem {
	font-weight: bold;
	fint-decoration: italic;
	color: #990000;
}
.question {
	font-weight: bold;
	font-size: medium;
	color: #000099;
}
.answer {
	font-size: medium;
	color: #006600;
}
.box1 {
	background-color: #DDDDDD;
	border: 1px solid #000000;
	padding: 5px 5px 5px 5px;
}
.box2 {
	background-color: #EEEEEE;
	border: 1px solid #000000;
}
.example {
	font-family: Courier New, Courier;
	color: Red;
	white-space: pre;
}
.code {
	font-family: Courier New, Courier;
	color: #CC6600;
	white-space: pre;
}
.typed {
	font-family: Courier New, Courier;
	color: Red;
	white-space: pre;
}
.output {
	font-family: Courier New, Courier;
	color: Purple;
	white-space: pre;
}
.maindoc {
	width: 770px;
	border:	1px dashed #333333;
}