<strong>1</strong></a>
  </ul>
  <li class="tocline0">padding
  <ul class="index">
    <li class="tocline0">of a box, <a href="box.html#box-padding-area" title="padding, of a box" class="index-def"><strong>1</strong></a>
  </ul>
  <li class="tocline0">page area, <a href="page.html#page-area" title="page area" class="index-def"><strong>1</strong></a>
  <li class="tocline0">page box, <a href="page.html#x1" title="page box" class="index-def"><strong>1</strong></a>
  <li class="tocline0">page selector, <a href=