img.shingen {
	max-width: 350px;
	float: left;
	margin-right: 25px;
	margin-bottom: 10px;
}

.overview {
	padding-bottom: 1em;
}

.overview p {
	padding-bottom: 1em;
}

.reference {
	font-size: 95%;
	line-height: 150%;
	overflow: auto;
}

.reference li {
	margin-left: 1em;
}

.named {
	color: red;
	font-weight: bold;
}

div.gotop {
	text-align: right;
}

#catalog {
	padding-left: 1em;
}

#catalog li {
	list-style: none;
	margin-left: 1em;	
}

#catalog li:first-child {
	text-indent: -1em;
}