'	# This redefines how the header gets printed so that it
'	# looks better under a windowing system.
'	# No extra space at the top, title and section printed once.
.rm }H
.de }H
.ev 1
.}C
.ft 1
.ps 10
.tl @\\*(]H@\\*(]D@@
'sp .25i
.ev
.ns
..
'	# bye bye footers
.rm }F
.de }F
..