body {
	background-color: #DDDDDD;
    font-family: Arial, Helvetica, sans-serif;
	font-size: 12px;
}

.title, .helptitle {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 15px;
	color: #E00000;
	text-decoration: none;
	font-weight: bold;
	padding-left: 0px;
}

.title {
	font-style: italic;
}

.output, .exampleoutput {
	font-family: courier, monospace;
	color: #000000;
	text-decoration: none;
	font-weight: normal;
}

.output {
	font-size: 12px;
}

.exampleoutput {
	font-size: 11px;
}

.small, .boldsmall {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 11px;
	color: #000000;
	text-decoration: none;
	font-weight: normal;
}

.normal, .boldnormal, .boldbig {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 12px;
	color: #000000;
	text-decoration: none;
	font-weight: normal;
}

.panelback {
	background-color: #C6C3C6;
}

hr {
	width: 50%;
}

.boldsmall {
	font-weight: bold;
}

.boldnormal {
	font-weight: bold;
}

.boldbig {
	font-size: 13px;
	font-weight: bold;
}