_includes/docs_header.html

<nav class="navbar is-hidden-desktop">
    <div class="navbar-brand">
        <a href="{{ site.baseurl }}/" class="navbar-item">
            <!-- Pegasus Icon -->
            <img src="{{ site.baseurl }}/assets/images/pegasus-square.png">
        </a>
        <div class="navbar-item">
            {% include language-switch.html %}
        </div>
        <a role="button" class="navbar-burger burger" aria-label="menu" aria-expanded="false" data-target="navMenu">
            <!-- Appears in mobile mode only -->
            <span aria-hidden="true"></span>
            <span aria-hidden="true"></span>
            <span aria-hidden="true"></span>
        </a>
    </div>
    <div class="navbar-menu" id="navMenu">
        <div class="navbar-end">
            {% for item in site.data.docs_menu %}
            <!--dropdown-->
            <div class="navbar-item has-dropdown is-hoverable">
                <a href="{{ item.link | prepend: site.baseurl }}"
                    class="navbar-link {% if item.link == page.url %}is-active{% endif %}">
                    <span>
                        {{ site.data.translate[item.name] }}
                    </span>
                </a>
                <div class="navbar-dropdown">
                    {% for subitem in item.items %}
                    <a href="{{ subitem.link | prepend: site.baseurl }}"
                        class="navbar-item {% if subitem.link == page.url %}is-active{% endif %}">
                        {{ site.data.translate[subitem.name] }}
                    </a>
                    {% endfor %}
                </div>
            </div>
            {% endfor %}
        </div>
    </div>
</nav>

<nav class="navbar is-hidden-mobile">
    <div class="navbar-start w-full">
        <div class="navbar-item pl-0 w-full">
            <!--TODO(wutao): Given the limitation of docsearch that couldn't handle multiple input,
                I make searchbox only shown in desktop. Fix this issue when docsearch.js v3 released.
                Related issue: https://github.com/algolia/docsearch/issues/230-->
            <div id="docsearch"></div>
        </div>
    </div>
    <div class="navbar-end">
        <div class="navbar-item">
            {% include language-switch.html %}
        </div>
    </div>
</nav>