pre {
   margin-left: 6em;
}
pre.term { 
   background-color: black; 
   color: white;
   margin-left:	6em;
   margin-right: 4em;
   padding-left: 1ex;
   padding-right: 1ex;
}
table {
   margin-left: auto;
   margin-right: auto;
   border-spacing: 1em 0em;
}
thead { 
   text-align: center; 
   font-weight: bold;
}
td {
   vertical-align: top;
}
td.nowrap {
   white-space: nowrap;
   vertical-align: top;
}
span.nowrap {
   white-space: nowrap;
}
ul.nomark {
   list-style: none;
}
h5 {
   margin-left: 2em;
}
p {
   margin-left: 4em;
}
td p {
   margin-left: 0em;
}
li p {
   margin-left: 0em;
}
dl {
   margin-left: 6em;
}
ul {
   margin-left: 6em;
}
ol.example {
   margin-left: 0em;
}