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

pre{
	border:1px dashed #8489AE;
	background-color:#F2F3F3;
	padding:5px;
}

.message{
	font-size:10px;
}

.circuitname{
	font-weight:bold;
}

.error {
	color: red;
}