ol { list-style-type: lower-alpha }
span.leafsection { font-weight: bold }
dt { font-weight: bold; display: inline }
p.indent { margin-left: 40px }
p.indent2 { margin-left: 80px }