body { font-style: serif; width: 80ex; white-space: pre-wrap }
table.toc { width: 100% }
h1:before { content: "\25A0  "; font-size: 120%; display: inline-block }
h1 { font-size: 110%; font-weight: bold; text-decoration: underline; text-underline-offset: 1ex; line-height: 170%; margin-block-end: 0 }
h1 br { indent: 1ex }
h2 { font-size: 100%; font-weight: bold; margin-block-start: 0; margin-block-end: -1em }
h2 + h1 { margin-top: 0em }
h1 + h2 { font-style: italic; margin-top: -1em; margin-bottom: 0.3em }
h3 { font-size: 100%; font-weight: bold; text-decoration: underline; margin-block-start: 0; margin-block-end: 0 }
div.title { font-size: 120% }
div.continued { width: 100%; text-align: right; font-style: italic; margin: 0 }
div.colofon { text-align: right }
ul { margin-block-start: 0; margin-block-end: 0 }
table th { text-align: left }