add missing HTML closing tags

leanprover-community · Feb 26, 2021 · a0bcb79 · a0bcb79
1 parent d55eeb8
commit a0bcb79
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/templates/notes.j2 b/templates/notes.j2
@@ -26,6 +26,7 @@ We collect these notes here.</p>
         {% endif %}
     </div>
 {% endfor %}
+</div>
 {% endblock %}
 
 {% block internal_nav %}

diff --git a/templates/references.j2 b/templates/references.j2
@@ -26,6 +26,7 @@
     </li>
 {% endfor %}
 </ul>
+</div>
 {% endblock %}
 
 {% block internal_nav %}
-Original file line number
+Diff line change
@@ Expand Up / @@ -26,6 +26,7 @@ @@
         </li>
     {% endfor %}
     </ul>
+    </div>
     {% endblock %}
     {% block internal_nav %}
@@ Expand Down @@