;Outline&#8221;,
in the centre of the page header, is uncomfortably close to the
title, which is to the right.  By invoking
<br/>
<span class="pre-in-pp">
  .HEADER_CENTER_PAD RIGHT 3P
</span>
you can scoot the word "Outline" over three
<a href="definitions.html#picaspoints">picas</a>
<i>to the left</i> (because the padding is added onto the right of the
string) so that your head looks nicely spaced out.  Invoking
<kbd>.HEADER_CENTER_PAD</kbd> with the <kbd>LEFT</kbd> argument puts
the padding on the left s