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 af405fdfc..223731903 100644 --- a/notebook/templates/page.html +++ b/notebook/templates/page.html @@ -122,7 +122,7 @@ dir="ltr"> -
+
diff --git a/notebook/templates/tree.html b/notebook/templates/tree.html index 13468ffb9..815aee467 100644 --- a/notebook/templates/tree.html +++ b/notebook/templates/tree.html @@ -27,7 +27,7 @@ data-server-root="{{server_root}}" {% block site %}
-
+
  • {% trans %}Files{% endtrans %}
  • {% trans %}Running{% endtrans %}