{% assign contact_link = "mailto:" | append: site.contact_email %}

<!-- <div class="search-widget">
  <input type="search" id="siteSearchInput" placeholder="Type to search…">
</div> -->

<!-- {% include project-nav.html %} -->

{% include nav-page-link.html htmlclass="usage" url="/usage/" title="Get started" active_for_nested=true %}
{% include nav-page-link.html htmlclass="functions" url="/functions/" title="Functions" active_for_nested=true %}
{% include nav-page-link.html htmlclass="symbols" url="/symbols/" title="Symbols" active_for_nested=true %}
{% include nav-page-link.html htmlclass="blog" url="/blog/" title="Blog" active_for_nested=true %}
{% include nav-page-link.html htmlclass="demo" url="/demo/" title="Demo" active_for_nested=true %}

<!-- <a href="javascript: void 0;" class="search" aria-label="site search button"><i class="fas fa-search"></i></a> -->