a:link    { color: #b7b700; background-color: inherit; }
a:visited { color: #b7b700; background-color: inherit; }
a:hover   { color: yellow;  background-color: inherit; }

body {
  background-color: black;
  color: #b0b0b0;
  font-size: 13pt;
  margin: 1%;
  text-decoration-skip-ink: none;
}

div.title {
  width: 550px;
  margin: 2em auto 2em auto;
  padding: 0.75em;
  border: 1px solid #404040;
  background-color: #202020;
  color: white;
  text-align: right;
}

/* XXX - Hack for achieving 1 pixel HR */
hr {
  border: 0px none;
  border-top: 1px solid #b0b0b0;
  height: 1px;
}

/* Red line in the title box */
div.line {
  position: relative;
  top: -11px;
  z-index: 1;
  border-top: 1px solid #f00000;
}

div.title span.big {
  position: relative;
  z-index: 2;
  font: italic normal bold 40pt serif;
}

div.title small {
  font-family: "Tahoma", sans-serif;
  font-size: 12pt;
  line-height: 12pt;
  color: #a0a0a0;
}

div.title p {
  margin: 1em 0 0 0;
  font-family: serif;
  font-size: 11pt;
  line-height: 12pt;
  color: #606060;
}

div.indented {
  padding-left: 5%;
  padding-right: 5%;
}