body {
  background: #c5cedd;
  color: black;
}

a, a:link {
  background: transparent;
  color: #0000cc;
}

a:visited {
  background: transparent;
  color: #6600cc;
}

a.local, a.local:link {
  background: transparent;
  color: #0000ff;
}

a.local:visited {
  background: transparent;
  color: #6600cc;
}

a.remote, a.remote:link {
  background: #ddeeff;
  color: #000099;
}

a.remote:visited {
  background: #ddeeff;
  color: #330099;
}

#docHead {
  background: #c5cedd;
  color: black;
}

#docPage {
  background: white;
  color: black;
}