body
{
	background-color: #FFFFFF;
	font-family:helvetica,sans-serif;
}

a:link { color:#660000 }
a:active { color:#AA0000 }
a:visited { color:#AA0000 text-decoration: none; }
a:hoover { color:#AA0000 }

.example
{
	font-family: helvetica,sans-serif;
	border:1px solid #660000;
	background:#FFFFFF;
	margin:1em;
}

pre.box
{
	margin:1em 1em 1em 1em;
	color:#AA0000;
}

.menu
{
	font-family:helvetica,sans-serif;
	font-size:0.8em;
	/*
	border-left: 1px solid #AA0000;
	border-right: 1px solid #AA0000;
	border-bottom: 1px solid #AA0000;
	*/
	background:#F2F5ED;
	color:#AA0000;
}

.menutitle
{
  font-family:helvetica,sans-serif;
  font-size:1em;
  font-style:oblique;
  color:#660000;
  font-weight:normal;
  background:#FFC200;
  /*
  border-right: 1px solid #AA0000;
  border-left: 1px solid #AA0000;
  border-top: 1px solid #AA0000;
  border-bottom: 1px solid #AA0000;
  */
}

.menubuff
{
  font-family:helvetica,sans-serif;
  font-size:1px;
  color:#000000;
/*  border-left: 1px solid #AA0000;
  border-right: 1px solid #AA0000;
  */
  font-weight:bold;
  background-color: #660000;
  height:5;
  padding-bottom: 0;
}

.contentbuff
{
	font-family:helvetica,sans-serif;
	font-size:10px;
	border-left: 1px solid #AA0000;
	border-right: 1px solid #AA0000;
	font-weight:bold;
	background-color: #99CCFF;
  height:5;
	padding-bottom: 0;
}

.header
{
	font-family:helvetica,sans-serif;
	color:#660000;
}

.content
{
  font-family:helvetica,sans-serif;
  font-size:medium;
  color:#000000;
  background:#F3F5ED;
  /*
  border-right: 2px solid #AA0000;
  border-left: 2px solid #AA0000;
  border-bottom: 2px solid #AA0000;
  */
  padding-bottom: 5;
  padding-right: 5;
  padding-left: 5;
  padding-top: 0;
}
.contenttitle
{
font-family:helvetica,sans-serif;
font-size:1em;
font-style:oblique;
color:#660000;
font-weight:normal;
background-color:#FFC200;
/*border-left: 2px solid #AA0000;
border-top: 1px solid #AA0000;
border-right: 2px solid #AA0000;
padding: 2;
*/
}

.contentbuff
{
  font-family:helvetica,sans-serif;
  font-size:1px;
  color:#014DA3;
/*  border-left: 2px solid #AA0000;
  border-right: 2px solid #AA0000;
  */
  font-weight:bold;
  background-color:#660000;
  height:5;
  padding-bottom: 0;
}

br { padding-bottom: 200 }

cite { font-size:0.7em; color:#CCCCCC; }

.content hr { border:0; height:1px; width:100%; color:#660000; background-color:#660000;}