From 5c80a9bbc8ce8f8493dfe86f96aef556298cd975 Mon Sep 17 00:00:00 2001 From: Joshua Zeltser Date: Wed, 26 Jun 2019 18:07:35 +0100 Subject: [PATCH 1/5] 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 28a83b48fd..907ccb8cc3 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 9e68da1b2c..8a7e789e0e 100644 --- a/notebook/templates/page.html +++ b/notebook/templates/page.html @@ -122,7 +122,7 @@ -