body {
	background-color: #ccc;
	color: #000;;
	font: 1em sans-serif;
}

a img {
	border: none;
}

a:link, a:visited {
	color:#933f02;
	text-decoration:none;
	font-weight:bold;
}

a:hover {
	color:#933f02;
	text-decoration:underline;
	font-weight:bold;
}

div#page {
	width: 960px;
	margin: auto;
	border: 1px solid #6f372f;
}

div#banner {
	background-color: #fff;
}

div#menu-top {
	background-color: #6f372f;
	display: table;
	font: 1em serif;
	width: 100%;
	margin-bottom: 0px;
}

div#menu-top dl {
	color: #fff;
	display: table-row;
}

div#menu-top dt {
	display: table-cell;
	text-align: center;
	white-space: nowrap;
}

div#menu-top dt a {
	color: #fff;
	text-decoration: none;
	display: block;
	padding: 0.3em 0.7em;
}

div#menu-top dt.current span {
	color: #d5bba2;
	display: block;
	font-weight: bold;
	padding: 0.3em 0.7em;
}

div#menu-top dt a:hover {
	color: #e6cca2;
}

div#content {
	background-color: #d5bba2;
	color: #000;
	padding: 0px;
}

div#bodytext {
	padding: 10px;
}

div#bodytext-unpadded {
	margin: 0px;
	padding: 0px;
}

td#right-column {
	padding: 1em;
}

td#right-column h1 {
	font-size: 1.8em;
	margin-top: 0em;
	text-align: left;
}

p#copyright {
	font-size: 0.8em;
	text-align: center;
}

p#credits {
	font-size: 0.7em;
	text-align: center;
}

p#credits a {
	text-decoration:none;
	font-weight:normal;
}

p#webwork {
	font-size: 0.8em;
	text-align: center;
}

p#webwork a {
	color: #fff;
	font-weight: normal;
}

.problem {
	font-style: normal !important;
	font-weight: normal !important;
	color: #a44 !important;
	text-align: left;
}

.inputprob {
	color: #ffffff !important;
	background-color: #a44 !important;
}