body {
  background-color: #fffce6;
  margin: 0; padding: 0;
}
div {
  font-family: 'Times New Roman', Times, serif;
  clear: both;
}
h2 {
  margin: 35px 10px 15px;
}
h2 span {
  background-color: #f0f066;
  padding: 0 3px 1px;
  border-top: solid #333300 2px;
}
div h2 {
  margin-top: 15px;
}
p {
  margin: 15px 10px 20px;
}
img {
  float: left;
  border: 0;
  margin-bottom: 30px;
}
div#graham div {
  clear: none;
  float: left;
  border-right: solid #f0f066 2px;
  border-bottom: solid #f0f066 2px;
  margin: -13px 25px 20px;
}
/* Repetitions A..X :n and A..X.B :n: */
.dot, .rep { color: #cc00cc; }
i.dot { margin: 0 1px; }
i.rep { margin: 0 4px 0 0; }
p.comment {
  font-family: 'Courier New', monospace;
  line-height: 140%;
  letter-spacing: 1px;
  margin-bottom: 15px;
  margin-left: 25px;
}
div#graham div p.comment {
  white-space: nowrap;
  margin-left: 10px;
}
.comment span {
  letter-spacing: 0;
  margin-left: 1px;
  margin-right: 2px;
}
.comment span.dec {
  color: #ff0000;
  letter-spacing: 0;
}
.comment span.dec {
  color: #ff0000;
}
div#guinness img {
  margin-left: 8px;
}
div#comment, div#copyright {
  padding-top: 5px;
}
div#comment p {
  padding-left: 11px;
  border-left: solid #f0f066 9px;
  margin-left: 10px;
}
div#copyright {
  clear: none;
  color: #202020;
}
li {
  margin-top: 3px;
}
div#copyright p.note {
  font-size: 90%;
  margin: 20px 10px 10px;
}
a {
  margin: 1px;
}
img#foot {
  margin: 15px;
}