body
{
	font: 85%/1.3 verdana, arial, helvetica, sans-serif;
	margin: 0 1%;
	padding: 0;
	background-color: #fff; 
	color: #333;
}

div.example {
	margin: 2em;
	border: 1px dashed #3D650B;
	background-color: #eee;
	width: 70%;
	padding: 0 1%;
}

div.source {
	white-space: pre;
}

h1 {
	font-size: 140%;
	border-top: 5px double #c43920;
	border-bottom: 5px double #c43920;
	padding: .5em 0 .5em 0;
	}

h2 {
	width: auto;
	font-size: 130%;
	margin-top: 2em;
	border-left: 8px double #c43920;
	padding-left: .5em;
	}

h3 {
	font-size: 120%;
	margin-top: 1.5em;
	border-left: 5px double #022f73;
	padding-left: .5em;
	}

h4 {
	font-size: 110%;
	margin-top: 1.5em;
	border-left: 3px double #039976;
	padding-left: .5em;
	}

h5 {
	font-size: 100%;
	margin-top: 1.5em;
	margin-bottom: .5em;
	*margin-bottom: 0;
	border-left: 3px double #dea71b;
	padding-left: .5em;
	}

a, .filename, .required {
	font-weight: bold;
	}

a:link {
	color: #00f;
	}

a:visited {
	color: #a98d6b;
	}

a:active, a:hover {
	color: #c4392d;
	}

h1 a {
	text-decoration: none;
	}

ul li {
	padding-top: .5em;
	}

div.exercise_type {
	font-size: x-small;
	background-color: #777;
	color: #fff;
	padding: .5em;
	font-weight: bold;
	width: 10em;
}

div#student_id {
	font-size: x-small;
	background-color: #900;
	color: #fff;
	padding: .5em;
	font-weight: bold;
	text-align: right;
}

form label {
	display: block;
	margin-top: .5em;
}

form textarea {
	display: block;
}

form input[type='submit'] {
	display: block;
	margin-top: .5em;
}

div.alert, div.hint {
	position: relative;
	width: 80%;
	margin: 3em 0 3em 0;
	border: 2px solid #c43920;
	padding: 2em;
	}

div.hint {
	background-color: #029dc4;
	color: #fff;
	border: 0;
	}

div.hint h6 {
	font-size: 100%;
	margin: 0;
	padding: 0;
	}

div.alert h6 {
	position: absolute; top: -.75em; left: 1em;
	width: 5em;
	font-size: 100%;
	background-color: #fff;
	color:  #c43920;
	margin-top: 0;
	border-left: 5px double #c43920;
	border-right: 6px double #c43920;
	padding-left: 1em;
	}

td,th { border: 1px solid #eee; padding: .2em; }
tbody th { font-weight: normal; text-align: left; }
td.number { text-align: right; }
code { font-size: 130%; }