##// END OF EJS Templates
Style kernel name
Thomas Kluyver -
Show More
@@ -0,0 +1,6 b''
1 span#kernel_selector_widget {
2 padding: 0px 5px;
3 margin-top: 12px;
4 margin-right: 1em;
5 font-size: 120%;
6 }
@@ -8,6 +8,7 b''
8 @import "notebook.less";
8 @import "notebook.less";
9 @import "celltoolbar.less";
9 @import "celltoolbar.less";
10 @import "completer.less";
10 @import "completer.less";
11 @import "kernelselector.less";
11 @import "menubar.less";
12 @import "menubar.less";
12 @import "notificationarea.less";
13 @import "notificationarea.less";
13 @import "notificationwidget.less";
14 @import "notificationwidget.less";
@@ -9436,6 +9436,12 b' p {'
9436 .completions select option.context {
9436 .completions select option.context {
9437 color: #3071a9;
9437 color: #3071a9;
9438 }
9438 }
9439 span#kernel_selector_widget {
9440 padding: 0px 5px;
9441 margin-top: 12px;
9442 margin-right: 1em;
9443 font-size: 120%;
9444 }
9439 #menubar {
9445 #menubar {
9440 margin-top: 0px;
9446 margin-top: 0px;
9441 margin-bottom: -19px;
9447 margin-bottom: -19px;
General Comments 0
You need to be logged in to leave comments. Login now