BODY {
  margin:	1.5em 0.5em 1.5em 0.5em;
  font-family:	helvetica, arial, sans-serif;
  font-style:	normal;
  font-variant:	normal;
  font-size:	medium;
  background:	black;
  color:	white;
}

UL { list-style-type: disc; }
H1 {
  text-align:	center;
  font-size:	14pt;
}
H3 {
  text-align:	center;
}

.boxed
{
  margin:	auto;
  padding:	0.3em 0.0em;
  border:	3px solid gray;
  background:	#BBBBBB;
  color:	black;
  font-family:	helvetica, arial, sans-serif;
}

.admin {
  font-family:	helvetica, arial, sans-serif;
  font-size:	8pt;
}

.bar {
  font-family:	helvetica, arial, sans-serif;
  font-size:	12pt;
  font-weight:	bold;
  text-align:	center;
}

.nok
{
  background:	#BBBBBB;
  color:	red;
  font-family:	helvetica, arial, sans-serif;
  font-size:	12pt;
  text-align:	center;
}