{% extends "base.html" %} {% load tools %} {% block base_header_additional_head %} {% endblock %} {% block base_header_title %}NAV - Network explorer{% endblock %} {% block base_content %} {% with tool=current_user_data.tools|get_tool:'Network Explorer' %} {% include 'nav_header.html' %} {% endwith %} {% if errors %}
{% endif %} {% block content %}
{% csrf_token %}
{{ form.query }}
{{ form.exact_results }}
{{ form.hide_ports }}
{% endblock %} {% endblock %}