body, p, div, span, th, td, li, dt, dd, dl, ol, ul, h1, h2, h3, h4, h5, h6, blockquote {
  font-family: Trebuchet MS,Lucida,Helvetica,sans-serif;
  color: black;
}
body, p, div, span, th, td, li, dt, dd, dl, ol, ul, blockquote {
  font-size: 10pt;
}
tt {
  font-family: Courier New,Courier,fixed;
  color: DarkSlateGray;
}
h1 tt { font-size: 24pt }
h2 tt { font-size: 22pt }
h3 tt { font-size: 20pt }
h4 tt { font-size: 18pt }
h5 tt { font-size: 16pt }
h6 tt { font-size: 14pt }
pre {
  font-family: Courier New,Courier,fixed;
  font-size: 9pt;
  color: DarkSlateGray;
}
body, p, blockquote, ul, ol, dl, li, dt, dd {
  text-align: justify;
}
h1, h2, h3, h4, h5, h6 {
  font-weight: bold;
  color: Black;
}
h1, h2, h3, h4, h5 {
  text-transform: uppercase;
}
h5, h6 {
  text-align: left;
}
h1 {
  font-size: 20pt;
}
h2 {
  font-size: 18pt;
}
h3 {
  font-size: 16pt;
}
h4 {
  font-size: 14pt;
}
h5 {
  font-size: 12pt;
}
h6 {
  font-size: 11pt;
}
.left {
  float: left;
  margin-right: 10px;
  margin-bottom: 5px;
}
.right {
  float: right;
  margin-left: 10px;
  margin-bottom: 5px;
}
.plustop {
  margin-top: 5px;
}
a.noline { text-decoration : none }
.normcolor {
  color: #000000;
}
.footnote {
  font-size: 9pt;
}
.small {
  font-size: 8pt;
}
.large {
  font-size: 12pt;
}
.big {
  font-size: 14pt;
}
.huge {
  font-size: 18pt;
}
.massive {
  font-size: 20pt;
}
.giant {
  font-size: 24pt;
}
.gargantuan {
  font-size: 28pt;
}
a:link {
  color: DarkRed
}
a:visited {
  color: Black;
}
.alpha {
  list-style-type: lower-alpha;
}
.roman {
  list-style-type: lower-roman;
}
.upper-alpha {
  list-style-type: upper-alpha;
}
.upper-roman {
  list-style-type: upper-roman;
}
.circle {
  list-style-type: circle;
}
.disc {
  list-style-type: disc;
}
.square {
  list-style-type: square;
}
.none {
  list-style-type: none;
}
.inside {
  list-style-position: inside;
}
a:active {
  color: #ff7f00;
}
.cursief {
  font-style: italic;
}
.std {
  font-family: Humanst521 Lt BT,Helvetica,sans-serif;
  font-size: 10pt;
  color: Black;
}
.voetnoot {
  font-size: 8pt;
}
.klein {
  font-size: 9pt;
}
.groot {
  font-size: 110%;
}
.groter {
  font-size: 120%;
}
.grootst {
  font-size: 140%;
}
.marten {
  color: DarkBlue;
}
.peter {
  color: DarkBlue;
}
.thomas {
  color: DarkSlateGray;
}
.vogel {
  color: DarkSlateGray;
}
.expl {
  color: OrangeRed;
}
.warning {
  color: Red;
}
.cond {
  font-family: Trebuchet MS,Tahoma,Helvetica,sans-serif;
}
.box {
  background: #ffeeee;
}
.darkbox {
  background: #ffdddd;
}
.antibox {
  background: #eeeeff;
}
.antidarkbox {
  background: #ddddff;
}