div.code { text-align:center; }
ol ol { list-style-type: lower-alpha; }
ol ol ol { list-style-type: lower-roman; }
table
{
border-collapse:collapse;
}
table, th, td {
  border: 1px solid black;
}
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);
}