annis-web 0.2.0

This is an experimental version of ANNIS corpus search frontend.
Documentation
<!DOCTYPE html>
<html lang="en">
  <head>
    <link rel="shortcut icon" href="{{ url_prefix }}static/icons/favicon.ico">
    <link rel="stylesheet" href="{{ url_prefix }}static/fonts.css" />
    <link rel="stylesheet" href="{{ url_prefix }}static/annis.min.css" />
    <script src="{{ url_prefix }}static/htmx-1.9.4.min.js"></script>
    <script src="{{ url_prefix }}static/hyperscript-0.9.11.min.js"></script>
    <title>ANNIS experiments:
      {% block title %}
      {% endblock title %}
    </title>
  </head>
  <body>
    <nav class="navbar" role="navigation" aria-label="main navigation">
      <div class="navbar-brand">
        <img src="{{ url_prefix }}static/icons/annis_192.png"
             width="52px"
             height="auto"
             alt="Logo of ANNIS depicting two anis fruits"
             class="m-1">
        <a role="button"
           class="navbar-burger"
           aria-label="menu"
           aria-expanded="false"
           onclick="document.querySelector('#annis-navbar').classList.toggle('is-active')">
          <span aria-hidden="true"></span>
          <span aria-hidden="true"></span>
          <span aria-hidden="true"></span>
        </a>
      </div>
      <div id="annis-navbar" class="navbar-menu">
        <div class="navbar-start">
          {% set corpus_class = "" %}
          {% if (session.selected_corpora|length) == 0 %}
            {% set corpus_class = "is-warning" %}
          {% else %}
            {% set corpus_class = "is-primary" %}
          {% endif %}
          <a id="annis-corpora-navbar-item"
             class="navbar-item"
             href="{{ url_prefix }}corpora">Corpora  <span class="ml-1 tag is-small {{ corpus_class }}"
        title='{{ session.selected_corpora|join(", ") }}'>{{ session.selected_corpora|length }}</span></a>
          <a class="navbar-item" href="{{ url_prefix }}export">Export</a>
          <a class="navbar-item" href="{{ url_prefix }}about">About</a>
        </div>
        <div class="navbar-end">
          {% if login_configured %}
            <div class="navbar-item">
              {% with current_username = username(session) %}
                {% if current_username is defined %}
                  <span class="navbar-item">Logged in as "{{ current_username }}"</span>
                  <div class="buttons">
                    <a class="button is-light"  href="{{ url_prefix }}oauth/logout"">Log Out</a>
                  </div>
                {% else %}
                  <div class="buttons">
                    <a class="button is-light"  href="{{ url_prefix }}oauth/login"">Log in</a>
                  </div>
                {% endif %}
              {% endwith %}
            </div>
          {% endif %}
        </div>
      </div>
    </nav>
    <div class="box">
      {% block content %}
      {% endblock content %}
    </div>
  </body>
</html>