From 5c80a9bbc8ce8f8493dfe86f96aef556298cd975 Mon Sep 17 00:00:00 2001 From: Joshua Zeltser Date: Wed, 26 Jun 2019 18:07:35 +0100 Subject: [PATCH] Fixed Issue #3217 added main and navigation tags to tree and page.html --- .gitignore | 2 +- notebook/templates/page.html | 9 +++++---- notebook/templates/tree.html | 6 +++--- 3 files changed, 9 insertions(+), 8 deletions(-) diff --git a/.gitignore b/.gitignore index 28a83b48f..907ccb8cc 100644 --- a/.gitignore +++ b/.gitignore @@ -35,7 +35,7 @@ src .idea/ Read the Docs config.rst - +*.iml /.project /.pydevproject diff --git a/notebook/templates/page.html b/notebook/templates/page.html index 9e68da1b2..8a7e789e0 100644 --- a/notebook/templates/page.html +++ b/notebook/templates/page.html @@ -122,7 +122,7 @@ dir="ltr"> -
+
@@ -153,11 +153,12 @@ dir="ltr"> {% block header %} {% endblock %} -
+ +
-{% block site %} -{% endblock %} + {% block site %} + {% endblock %}
{% block after_site %} diff --git a/notebook/templates/tree.html b/notebook/templates/tree.html index d84a973c1..113be4cc7 100644 --- a/notebook/templates/tree.html +++ b/notebook/templates/tree.html @@ -1,5 +1,4 @@ {% extends "page.html" %} - {% block title %}{{page_title}}{% endblock %} @@ -27,7 +26,8 @@ data-server-root="{{server_root}}" {% block site %}
-
+ +
  • {% trans %}Files{% endtrans %}
  • {% trans %}Running{% endtrans %}
  • @@ -204,4 +204,4 @@ data-server-root="{{server_root}}" -{% endblock %} +{% endblock %} \ No newline at end of file