<!--

BODY {
  background-color: #efefef;
  color: black;
}

A {
  color: yellow;
  text-decoration: none;
}

A.EXTERNAL {
  color: blue;
  text-decoration: underline;
}
//-->