From 291e0c101e1deca42b2b0358f9d4946e3f02266d Mon Sep 17 00:00:00 2001 From: Thomas Kluyver Date: Mon, 7 Mar 2016 16:41:01 +0000 Subject: [PATCH 1/2] Adjust styling of dropdown header in new menu --- notebook/static/tree/less/tree.less | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/notebook/static/tree/less/tree.less b/notebook/static/tree/less/tree.less index 996ab4f48..faebeaf62 100644 --- a/notebook/static/tree/less/tree.less +++ b/notebook/static/tree/less/tree.less @@ -256,6 +256,13 @@ ul#new-menu { right: 0; } +#new-menu .dropdown-header { + font-size: 10px; + border-bottom: 1px solid #e5e5e5; + padding: 0 0 3px; + margin: -3px 20px 0; +} + .kernel-menu-icon { padding-right: 12px; width: 24px; From c424d61558e2c020bf639be787a2c1acf8e98357 Mon Sep 17 00:00:00 2001 From: Thomas Kluyver Date: Mon, 7 Mar 2016 16:42:25 +0000 Subject: [PATCH 2/2] Adjust text of notebook heading in new menu Closes jupyter/jupyter#97 --- notebook/templates/tree.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/notebook/templates/tree.html b/notebook/templates/tree.html index bb3f33d9b..133467218 100644 --- a/notebook/templates/tree.html +++ b/notebook/templates/tree.html @@ -70,7 +70,7 @@ data-terminals-available="{{terminals_available}}" {% endif %} - +