pre
{
	font-family: verdana, courier;
}
code
{
	background-color: transparent;
}
pre code
{
	font-size: 100%;
	font-family: verdana, courier;
}
.brown
{
   color: saddlebrown;
}
.red
{
   color: red;
}
.gray
{
   color: slategray;
}
.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;
}