h1 { font-weight: normal; font-size: x-large }
h2 { font-weight: normal; font-size: large; margin: 1em 0 0.3em 0; padding: 0 }
ul { list-style-type: none; margin: 0; padding: 0 0 0 3ex }
dt { font-size: large; text-decoration: underline; margin-top: 1em }
dd { padding-top: 0.5em; padding-bottom: 0.5em }
dd p { margin-top: 0em; margin-bottom: 0em }
dd p + p { margin-top: 0.5em }
span.update { text-decoration: underline; }