table[class=figlettable] {
  background: #f7f7f7;
  border: 1px solid #999999;
  color: #000000;
  padding: 5px 5px 5px 7px;
}
pre {
  font-family: "Courier New", Courier, monospace;
  font-size: 8pt;
  margin: 0px;
}
body {
  background-color: #ffffff;
  color: #000000;
  font-family: Georgia, "Times New Roman", Times, serif;
  margin: 15px 50px;
  margin-left: auto;
  margin-right: auto;
  text-align: left;
  width: 90%;
}