t the top or the bottom of the page, is managed
exactly as if the page numbers were headers (or footers), and are
controlled by the same macros.  See
<a href="#index-paginate-control">Pagination control</a>.
</p>

<div class="rule-short"><hr/></div>

<!-- ======================================================================== -->

<h2 id="headfoot-management" class="macro-group">Managing headers/footers</h2>

<p>
The following are the basic macros for turning
<a href="definitions.html#header">headers</a>
o