p,table,li,h1,h2,h3,h4,h5,h6,form
{
	font-family: 'Trebuchet MS', 'DejaVu Sans', Tahoma, Verdana, arial, 'sans serif';
}

pre
{
	font-family: 'courier new', courier, fixed, monotype;
	margin-top: 0px;
	margin-bottom: 0px;
}

body
{
	background: #f4ffff;
}

div.topnav
{
	text-align: center;
	padding-top: 10px;
	padding-bottom: 10px;
	margin-bottom: 10px;
	border-bottom: black dotted 3px;
}

div.code
{
	border: black dashed 1px;
	color: #000044;
	font-family: 'courier new', courier, fixed, monotype;
	font-weight: bold;
	padding: 5px 5px 5px 5px;
}

div.examplecode
{
	font-size: 90%;
	background: white;
	border: #777777 dotted 1px;
	padding: 5px 5px 5px 5px;
}

span.prepre
{
	font-family: 'courier new', courier, fixed, monotype;
}

span.expre
{
	font-family: 'courier new', courier, fixed, monotype;
	font-weight: bold;
}

p.smalltext
{
	font-size: 66%;
}

hr.dots
{
	border: 1px dotted;
}

div.explain,div.explaintab
{
	background: #f0ffff;
	border: #d0e0f0 3px solid;
	padding: 2px 2px 2px 2px;
	position: relative;
	margin-top: 0px;
	margin-bottom: 0px;
}

div.explain p
{
	margin-top: 1px;
	margin-bottom: 1px;
}

div.explaintab p
{
	margin-top: 1px;
	margin-bottom: 1px;
}

div.explaintab ol
{
	margin-top: 1px;
	margin-bottom: 1px;
}

div.explaintab
{
	left: 75px;
	width: 75%;
}

table.bugreport
{
  width: 600px;
  margin: 1em 1em 1em 0;
  background: #e8f0f0;
  border: 1px #aaa solid;
  border-collapse: collapse;
}

table.bugreport th, table.bugreport td
{
  width: 33%;
  border: 1px #aaa solid;
  padding: 0.2em;
  text-align: center;
}

table.bugreport th
{
  background: #d0e0e0;
  font-weight: bold;
}

td.red
{
	font-weight: bold;
	color: #770000;
	background: #ffdddd;
}

td.rednb
{
	color: #770000;
	background: #ffdddd;
}

table.reports
{
  margin: 1em 1em 1em 0;
  background: #e8ecec;
  border: 1px #aaa solid;
  border-collapse: collapse;
}

table.reports th, table.reports td
{
  border: 1px #aaa solid;
  padding: 0.2em;
}

table.reports th
{
  background: #d0e0e0;
  font-weight: bold;
  text-align: center;
}

div.good
{
  background: #ddffdd;
}