| <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--> |
| {% include searchbox.html %} |
| </div> |
| </div> |
| <div class="navbar-end"> |
| <div class="navbar-item"> |
| {% include language-switch.html %} |
| </div> |
| </div> |
| </nav> |