body {
	font-family: Arial, Helvetica, sans-serif;
	color: #4d64a0;
	link-color: #4d64a0;
}

.success-title {
	clear: both;
	padding-top: 1em;
}

.success-image {
	padding-right: 0.5em;
}

/* man page formatting */
div.REFSYNOPSISDIV {
	font-size: 110%;
	font-family: Courier, monotype;
}