{% extends "base.html" %}
{% block title %}User guide{% endblock %}
{% block page_id %}guide{% endblock %}
{% block content %}
<div class="a-card">
  <div class="a-empty"><i class="fa-solid fa-book-open" aria-hidden="true"></i>
    <div>The user guide is not part of this build of AidaIDE (docs/user_guide.json is missing).</div>
  </div>
</div>
{% endblock %}