Add an <hr> to separate header and results.

 - Legacy-Id: 831

Author: fenner

ietf/templates/idindex/search.html

@@ -4,6 +4,7 @@
 {% block title %}Internet Draft Database Index - Search{% endblock %}
 
 {% block iddbcontent %}
+<hr>
 {% if didsearch %}
   {# existing page just displays header and no results. #}
   {% if object_list %}