pre
{
	font-family: "Segoe UI", Verdana, Arial, Helvetica; 
	font-size: 0.9em;
}
.blue
{
	color : #0000FF;
}
.brown
{
    color: #800000;
}
.red
{
   color: red;
}
.gray
{
    color: #808080;
}
.bold
{
   font-weight: bold;
   color: windowtext;
}
div.schema
{
	border: 1px solid gray;
	margin-top: 2em;
	margin-bottom: 2em;
	padding: 1em;
	text-align: center;
	font-family: Arial, Helvetica;
	font-size: 1.5em;
	font-weight: bold;
}