body {
	padding-bottom: 1em;
	border-right: 1px solid rgb(128, 128, 128);
	background-color: white;
	color: black;
	margin: 0;
}


div.title {
}

div.title h1 {
        margin: 0px -10px;
	padding: 5px 10px 0px 10px;
	text-align: center;
}

div.title a {
	color: black !important;
	text-decoration: none !important;
}
div.title a:hover {
	color: black !important;
	text-decoration: none !important;
}

div.title h2 {
	margin: 0 0 1ex 0;
	padding: 0;
        text-align: right;
}

legend a {
	color: black !important;
	text-decoration: none !important;
}
legend a:hover {
	color: black !important;
	text-decoration: none !important;
}

legend {
        font-weight: bold;
}

pre {
	overflow:	auto;
	background:	rgb(230,230,230);
	border:		solid;
	border-width:	thin;
	padding: 5px  10px;
}