{% if example.Ok is defined %}
  {% if example.Ok|length == 0 %}
    <div class="notification is-info">No results for this query</div>
  {% else %}
    <pre class="content is-family-monospace">{{ example.Ok }}</pre>
  {% endif %}
{% elif example.Err is defined %}
  <div class="notification is-danger">{{ example.Err }}</div>
{% endif %}