semantic names for kernel status indicator

IPython/html/static/notebook/js/notificationarea.js

@@ -86,12 +86,12 @@ var IPython = (function (IPython) {
         // Kernel events
         $([IPython.events]).on('status_idle.Kernel',function () {
             IPython.save_widget.update_document_title();
-            $kernel_ind_icon.attr('class','icon-circle-blank').attr('title','Kernel Idle');
+            $kernel_ind_icon.attr('class','ipython-kernel-idle').attr('title','Kernel Idle');
         });
 
         $([IPython.events]).on('status_busy.Kernel',function () {
             window.document.title='(Busy) '+window.document.title;
-            $kernel_ind_icon.attr('class','icon-circle').attr('title','Kernel Busy');
+            $kernel_ind_icon.attr('class','ipython-kernel-busy').attr('title','Kernel Busy');
         });
 
         $([IPython.events]).on('status_restarting.Kernel',function () {

IPython/html/static/notebook/less/notificationarea.less

@@ -24,3 +24,12 @@
      .icon(' ');
 }
 
+.ipython-kernel-idle:before {
+     .icon(@circle-blank);
+}
+
+.ipython-kernel-busy:before {
+     .icon(@circle);
+}
+
+

IPython/html/static/style/style.min.css

@@ -1508,6 +1508,8 @@ ul#help_menu li a{overflow:hidden;padding-right:2.2em}ul#help_menu li a i{margin
 #kernel_indicator{margin-right:-16px}
 .ipython-edit-mode:before{font-family:FontAwesome;font-weight:normal;font-style:normal;text-decoration:inherit;-webkit-font-smoothing:antialiased;*margin-right:.3em;content:"\f040"}
 .ipython-command-mode:before{font-family:FontAwesome;font-weight:normal;font-style:normal;text-decoration:inherit;-webkit-font-smoothing:antialiased;*margin-right:.3em;content:' '}
+.ipython-kernel-idle:before{font-family:FontAwesome;font-weight:normal;font-style:normal;text-decoration:inherit;-webkit-font-smoothing:antialiased;*margin-right:.3em;content:"\f10c"}
+.ipython-kernel-busy:before{font-family:FontAwesome;font-weight:normal;font-style:normal;text-decoration:inherit;-webkit-font-smoothing:antialiased;*margin-right:.3em;content:"\f111"}
 .notification_widget{color:#777;padding:1px 12px;margin:2px 4px;z-index:10;border:1px solid #ccc;border-radius:4px;background:rgba(240,240,240,0.5)}.notification_widget.span{padding-right:2px}
 div#pager_splitter{height:8px}
 #pager-container{position:relative;padding:15px 0}