{% extends "base.html" %}

{% block outdated %}
  You're not viewing the latest stable version of LeanInteract.
  <a href="{{ '../' ~ base_url }}">
    <strong>Click here to go to the stable version.</strong>
  </a>
{% endblock %}