body {
  background: #F7F7F7; /* off white */
}

body, p, th, td, caption, h1, h2, h3, ul, ol, dl {
  color: black;
  font-family: verdana, sans-serif
}

tt, span.kw, pre {
  font-family: Courier, monospace
}

A:link {
  color: #0065FD;
}

A:visited {
  color: #0065FD;
}

A:active {
  color: #0065FD;
}

A {
  text-decoration: none
}

A:hover {
  text-decoration: underline
}

h1, h2, td.h2 {
  color: #027495;
}


h3 {
  color: #015269;
}


/* Especially for Netscape on Linux: */
h3, td.h3 {
  font-size: 13pt
}

/* symbols in source fragments */
span.sym {
  color: darkred
}

/* keywords in source fragments */
span.kw {
  font-weight: bold
}

/* comments in source fragments */
span.cmt {
  color: darkcyan;
  font-style: italic
}

/* directives in source fragments */
span.dir {
  color: darkyellow;
  font-style: italic
}

/* numbers in source fragments */
span.num {
  color: darkmagenta
}

/* characters (#...) in source fragments */
span.chr {
  color: darkcyan
}

/* strings in source fragments */
span.str {
  color: blue
}

/* assembler passages in source fragments */
span.asm {
  color: green
}


td.pre {
  white-space: pre
}

p.cmt {
  color: gray
}

span.warning {
  color: red;
  font-weight: bold
}

/* !!!: How should we define this...? */
span.file {
  color: darkgreen
}

table.remark {
  background-color: #ffffc0;
}

table.bar {
  background-color: #F7F7F7;
}

span.bartitle {
  font-weight: bold;
  font-style: italic;
  color: darkblue
}