Adjust styling of dropdown header in new menu

This commit is contained in:
Thomas Kluyver 2016-03-07 16:41:01 +00:00
parent d3ff8d69de
commit 291e0c101e

View File

@ -256,6 +256,13 @@ ul#new-menu {
right: 0; 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 { .kernel-menu-icon {
padding-right: 12px; padding-right: 12px;
width: 24px; width: 24px;