menu.html

<!-- Shared site menu — THE single source of truth for the header, top menu and
     drawer of EVERY Ocsigen doc page (vitrine + all projects). Canonical copy
     lives here in ocsigen.github.io; each project's build fetches it. Injected
     by `wodoc assemble --menu`. Holes filled by the tool (braces omitted here so
     this comment is not itself rewritten by the hole-filler):
       subproject  the sub-project name shown next to the Ocsigen logo
                   (empty on the vitrine), via --subproject
       leftnav     the project's left navigation, expanded into BOTH the mobile
                   drawer (below) and the left column (in the page template),
                   via --leftnav
     The current entry is highlighted by adding the `current` class to the
     element carrying data-wodoc-page=<id>: --current on the vitrine (page id),
     --menu-current in a project (the project id). Nothing is hardcoded here, so
     this file is the ONLY place the menu is defined.

     Links are the FINAL site paths (/<project>/, /<page>): the target layout
     where each project is served at ocsigen.org/<project>/ — no transitional
     /wodoc/ prefix. -->
<div class="page-header">
  <p class="logo-ocsigen"><a href="/"><img src="/img/ocsigen-white.svg" alt="Ocsigen"/></a></p>
  {{subproject}}

  <div class="mainmenu">
    <p class="mainmenu-home" data-wodoc-page="githubio"><a href="/">Home</a></p>
    <p class="mainmenu-doc" data-wodoc-page="tuto"><a href="/tuto/">Doc</a></p>
    <p class="mainmenu-blog" data-wodoc-page="blog"><a href="/blog/">Blog</a></p>
    <p data-wodoc-page="eliom"><a href="/eliom/">Eliom</a></p>
    <p data-wodoc-page="js_of_ocaml"><a href="/js_of_ocaml/">Js_of_ocaml</a></p>
    <p data-wodoc-page="ocsigenserver"><a href="/ocsigenserver/">Server</a></p>
    <p data-wodoc-page="lwt"><a href="/lwt/">Lwt</a></p>
    <p data-wodoc-page="tyxml"><a href="/tyxml/">Tyxml</a></p>
    <p data-wodoc-page="ocsigen-start"><a href="/ocsigen-start/">Start</a></p>
  </div>

  <form id="googlesearch" action="https://google.com/search">
    <input name="q" id="gsearch-box" placeholder="Search using Google"/>
    <label for="gsearch-box"><img src="/img/search.svg" alt="" id="gsearch-icon"/></label>
    <input type="submit" id="gsearch-submit" onclick="document.getElementById('gsearch-box').value += ' site:ocsigen.org';"/>
  </form>

  <aside class="how-drawer">
    <input id="how-drawer-toggle" type="checkbox"/>
    <label for="how-drawer-toggle" id="how-drawer-label"><span class="how-drawer-icon"></span></label>
    <nav class="how-drawer-content">
      <ul class="drawermainmenu">
        <li class="drawermainmenu-home" data-wodoc-page="githubio"><a href="/">Home</a></li>
        <li class="drawermainmenu-doc" data-wodoc-page="tuto"><a href="/tuto/">Doc</a></li>
        <li class="drawermainmenu-project" data-wodoc-page="eliom"><a href="/eliom/">Eliom</a></li>
        <li class="drawermainmenu-project" data-wodoc-page="js_of_ocaml"><a href="/js_of_ocaml/">Js_of_ocaml</a></li>
        <li class="drawermainmenu-project" data-wodoc-page="ocsigenserver"><a href="/ocsigenserver/">Server</a></li>
        <li class="drawermainmenu-project" data-wodoc-page="lwt"><a href="/lwt/">Lwt</a></li>
        <li class="drawermainmenu-project" data-wodoc-page="tyxml"><a href="/tyxml/">Tyxml</a></li>
        <li class="drawermainmenu-project" data-wodoc-page="ocsigen-toolkit"><a href="/ocsigen-toolkit/">Toolkit</a></li>
        <li class="drawermainmenu-project" data-wodoc-page="ocsigen-start"><a href="/ocsigen-start/">Start</a></li>
        <li class="drawermainmenu-project" data-wodoc-page="ocsipersist"><a href="/ocsipersist/">Ocsipersist</a></li>
        <li class="drawermainmenu-project" data-wodoc-page="reactiveData"><a href="/reactiveData/">ReactiveData</a></li>
        <li class="drawermainmenu-project" data-wodoc-page="ocsigen-i18n"><a href="/ocsigen-i18n/">i18n</a></li>
        <li class="drawermainmenu-project" data-wodoc-page="wodoc"><a href="/wodoc/">Wodoc</a></li>
        <li class="drawermainmenu-page" data-wodoc-page="projects"><a href="/projects">Other projects</a></li>
        <li class="drawermainmenu-page" data-wodoc-page="papers"><a href="/papers">Research papers</a></li>
        <li class="drawermainmenu-page" data-wodoc-page="credits"><a href="/credits">Who does Ocsigen?</a></li>
        <li class="drawermainmenu-page" data-wodoc-page="contributing"><a href="/contributing">Contributing</a></li>
        <li class="drawermainmenu-page" data-wodoc-page="blog"><a href="/blog/">Blog</a></li>
        <li class="drawermainmenu-page" data-wodoc-page="install"><a href="/install">Installation</a></li>
        <li class="drawermainmenu-page"><a href="https://github.com/ocsigen">Source code</a></li>
      </ul>
      <!-- On mobile the left column is hidden; its menu lives here in the burger
           (.how-doctree, shown only on narrow screens), as the old site did.
           Empty on the vitrine; the leftnav hole is filled (with the same
           fragment as the left column) only on project pages. -->
      <nav class="how-doctree">{{leftnav}}</nav>
    </nav>
  </aside>
</div>