##// END OF EJS Templates
Merge pull request #8557 from SylvainCorlay/Backport_ipython_ipywidgets#3...
Merge pull request #8557 from SylvainCorlay/Backport_ipython_ipywidgets#3 Backport parts of ipython/ipywidgets#3

File last commit:

r20149:1bf09c8a
r21485:35f453aa merge
Show More
menubar.less
26 lines | 433 B | text/x-less | LessCssLexer
.selected-keymap {
i.fa {
padding: 0px 5px;
}
i.fa:before {
content: @fa-var-check;
}
}
#mode-menu {
// truncate mode-menu, so it doesn't get longer than the screen
overflow: auto;
max-height: 20em;
}
.edit_app {
#header {
.box-shadow(@global-shadow);
}
#menubar .navbar {
/* Use a negative 1 bottom margin, so the border overlaps the border of the
header */
margin-bottom: -1px;
}
}