Copyright Digital Equipment Corp. All rights reserved.

PAPER_TOP_MARGIN_value

   PAPER_TOP_MARGIN specifies the width of the margin provided at
   the top of the page. The default value is 0.25 inch.