.\" Macros for HTML
.\" Jim Davis 6 Nov 92
.ps 12
.in 5
.de B
..
.de R
..
.de H1
.ti -5
.ps 18
\fB\\$1\fR
.ps 12
.br
..
.de H2
.ti -3
.ps 14
\fB\\$1\fR
.ps 12
.br
..
.de H3
\\$1
.br
..
.de H4
\\$1
..
.de H5
\\$1
..
.de H6
\\$1
..
.de H7
\\$1
..
.de H8
\\$1
..
.de H9
\\$1
..
.de DL
.in +5
..
.de DE
.in -5
..
.de DT
.ti -3
* \\$1
..
.de DD
.br
..