body { background-color: #DDFFDD; }
div.code { text-align:center; }
table.code {
  border:5px ridge gray;
  margin-left: auto;
  margin-right: auto;
  text-align: left;
}
table.code td { padding:3px; }
pre {
  border: dashed 1px black;
  padding: 10px;
  background-color: rgb(240, 240, 240);
}
ol { list-style-type: upper-roman; }
ol ol { list-style-type: upper-alpha; }
ol ol ol { list-style-type: decimal; }
ol ol ol ol { list-style-type: lower-alpha; }
ol ol ol ol ol { list-style-type: lower-roman; }