.\" 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 ..