        minimize, maximize/restore, and close buttons.
        </li>
        <li>
          <dfn data-lt="overlaid">Overlay</dfn> of [=window controls=]: Area
          that houses the [=controls of the window=] and is overlaid on top of
          the viewport.
        </li><img src="spec-wco-areas.png" alt=
        "Window frame with window controls circled.">
      </ul>
    </section>
    <section>
      <h2>
        Extensions to the `Navigator` interface
      </h2>
      <p>
        The [[HTML]] speci