Style kernel name

12 years ago · 6f8c4b8dc4
parent 9581bd7dc3
commit 6f8c4b8dc4
3 changed files with 13 additions and 0 deletions
--- a/IPython/html/static/notebook/less/kernelselector.less
+++ b/IPython/html/static/notebook/less/kernelselector.less
@ -0,0 +1,6 @@
+span#kernel_selector_widget {
+    padding: 0px 5px;
+    margin-top: 12px;
+    margin-right: 1em;
+    font-size: 120%;
+}
--- a/IPython/html/static/notebook/less/style.less
+++ b/IPython/html/static/notebook/less/style.less
@ -8,6 +8,7 @@
@import "notebook.less";
@import "celltoolbar.less";
@import "completer.less";
+@import "kernelselector.less";
@import "menubar.less";
@import "notificationarea.less";
@import "notificationwidget.less";
--- a/IPython/html/static/style/style.min.css
+++ b/IPython/html/static/style/style.min.css
@ -9436,6 +9436,12 @@ p {
 .completions select option.context {
  color: #3071a9;
 }
+span#kernel_selector_widget {
+  padding: 0px 5px;
+  margin-top: 12px;
+  margin-right: 1em;
+  font-size: 120%;
+}
 #menubar {
  margin-top: 0px;
  margin-bottom: -19px;