{% extends "rest_framework/base.html" %} {% block title %}GraceDB REST API{% endblock %} {% block branding %} GraceDB — REST API {% if config_name %} {{config_name}} {% endif %} {% endblock %} {% block userlinks %} {% if user %}