body,
pre,
b,
p {
  font-size: 12pt;
  line-height: 12pt;
  font-family: "Bitstream Vera Sans Mono", Menlo, "Courier New", Courier, monospace;
  color: azure;
}

b {
  font-weight: bold;
  color: #008000;
  background: #000000;
  position: relative;
}

body {
  width: 47.5em;
  margin: 8em auto;
}

pre {
  position: relative;
}

a:hover {
  background: rgba(0, 0, 0, 0.7);
  text-decoration: none;
  border: 1px solid #F00;
  margin: -17px;
  padding: 16px;
  position: relative;
  z-index: 1;
}

.c {
  height: 345pt;
  overflow: hidden;
  cursor: default;
}