/*
 * Sections.
 */
div#content div.misc div.section {
	margin-bottom: 1.5em;
}
div#content div.misc div.section div.title {
	font-size: 120%;
	font-weight: bold;
	margin-bottom: 0.5em;
}
div#content div.misc div.section div.text {
	margin-top: 0px;
}
div#content div.section div.toplink {
	font-size: 90%;
	margin: 0.5em;
	text-align: right;
}