Layout

{% extends "!layout.html" %} {% block htmltitle %} {{ super() }} {% endblock %} {% block scripts %} {{ super() }} {# Override home link to point to MuJoCo homepage. Ideally this would be done as part of the theme rather than in JS. #} {% endblock %}