.de PP .LP .. .de Bh \" big heading .ne 1i .NH .. .de Sh \" small heading .ne 1i .SH .. .de CW \" constant width font \&\f8\\$1\f0\\$2 ..