body,p,div {
  font-size: 9pt;
  font-family: verdana,sans-serif;
  /*width: 95%;*/
}

td {
  font-size:9pt;
  font-family: verdana,sans-serif;
}

h1 {
  font-size: 14pt;
  margin: 0
}

h2,h4 {
  font-family: verdana,sans-serif;
  color: #000000;
  background: #DDDDDD;
}

a:link { color: blue; }

a:visited { color: gray; }

h2 {
  font-size:14pt;
}

h4 {
  font-size:12pt;
}

.small {
  font-size:8pt;
}

.big {
  font-size:12pt;
}

.bordered {
  border:1pt solid blue;
  padding: 1pt;
  text-align: center;
}

.box {
  border:1pt solid blue;
  padding: 5pt;
  text-align: center;
  background: #f0f0f0;
}

.code {
  margin-left:10pt;
  font-family: courier, monospace;
  font-size:10pt;
  white-space: pre;
  background:#ffeeee;
}
.code_inline {
  font-family: courier, monospace;
  font-size:10pt;
  background:#ffeeee;
}

.output {
  margin-left:10pt;
  font-family: courier, monospace;
  font-size:10pt;
  white-space: pre;
  background:#e0ffff;
}