{% extends "scitex_ui/standalone_shell.html" %} {% load static %} {% block extra_css %} {# The bare SVG icon link is NOT here: the scitex-ui shell emits it from `favicon_href`, which views.py sets to writer/favicon.svg. Declaring it here too would produce two identical rel="icon" links (scitex-ui 0.7.0 made the shell's link unconditional). Only the variants the shell cannot express -- sizes= and apple-touch-icon -- belong in this block. #} {% endblock %} {% block worktree_title_full %}Project files{% endblock %} {% block worktree_data_attrs %}data-working-dir="{{ project_dir|default:'' }}"{% endblock %} {% block app_content %}
Click a claim to load its verification DAG.