@charset "UTF-8";


#maincol .local_nav li {
	width: 32%;
}

#maincol h4 {
	font-size: 120%;
}

#maincol table {
	/width: auto;
}

#maincol .title {
	font-weight: bold;
}

#maincol .ng {
	margin: 0.5em 0;
	padding: 0.3em 1em;
	background-color: #e4eefc;
}

#maincol .correct {
	margin: 0.5em 0;
	padding: 0.3em 1em;
	background-color: #f9dec1;
}

#maincol .not_table {
	width: auto;
}

#maincol .not_table th,
#maincol .not_table td {
	border: 0;
	padding: 0.3em 1.5em 0.3em 0;
	margin: 0;
}

#maincol .downloads th,
#maincol .downloads td {
	font-size: 90%;
}

#maincol .downloads th {
	width: 20em;
	background-color: #f3f8ff;
	text-align: left;
}