li {margin-top:0.5em; margin-bottom:0.5em}
dt {margin-top:0.5em;  margin-bottom:0.2em}
pre {font-size:1em}