<header>
  <h1>
    <span class="logo-name">olang</span> | O Programming Language
  </h1>
  <nav>
    [ <a href="/">Home</a> ]
    [ <a href="/manual/">Manual</a> ]
    [ <a href="/pages/language-specification.html">Specification</a> ]
    [ <a href="https://sr.ht/~johnnyrichard/olang/sources" target="_blank">Sources &UpperRightArrow;</a> ]
    [ <a href="https://sr.ht/~johnnyrichard/olang/lists" target="_blank">Mailing list &UpperRightArrow;</a> ]
  </nav>
</header>