.indent { margin-left: 1.5em; }
.rfloat {
	float: right;
	margin-left: 1.5em;
	margin-bottom: 0.8em;
}
.additional { font-size: 75%; }
a:link { color: blue; }
a:hover[href] { color: red; }
div p {
	margin-top: 0.9ex;
	margin-bottom: 0.9ex;
	text-indent: 0em;
}
ol { margin-top: 0.65ex; }
em { text-decoration: underline; }
ul {
	margin-top: 0.65ex;
	margin-left: 0.0em;
	padding-left: 1.8em;
}
li {
	margin-top: 0.3ex;
	margin-bottom: 0.4ex;
}