mobile-nixos/doc/_support/header.erb

<header>
  <nav>
    <ul>
      <li>
        <h1>
          <%= link("index.html", "Mobile NixOS") %>
        </h1>
      </li>
      <li><%= link("getting-started.html", "Getting started") %></li>
      <li><%= link("devices/index.html", "Devices List") %></li>
      <li><%= link("porting-guide.html", "Porting Guide") %></li>
    </ul>
  </nav>
</header>