##// END OF EJS Templates
Restore kernel status to header
MinRK -
Show More
@@ -37,14 +37,16 input#notebook_name {
37 }
37 }
38
38
39 span#kernel_status {
39 span#kernel_status {
40 float: right;
40 position: absolute;
41 padding: 0px 5px;
41 padding: 8px 5px 5px 5px;
42 right: 10px;
42 font-weight: bold;
43 font-weight: bold;
43 }
44 }
44
45
45
46
46 .status_idle {
47 .status_idle {
47 color: gray;
48 color: gray;
49 visibility: hidden;
48 }
50 }
49
51
50 .status_busy {
52 .status_busy {
@@ -58,6 +58,7
58 <span id="quick_help_area">
58 <span id="quick_help_area">
59 <button id="quick_help">Quick<u>H</u>elp</button>
59 <button id="quick_help">Quick<u>H</u>elp</button>
60 </span>
60 </span>
61 <span id="kernel_status">Idle</span>
61 </div>
62 </div>
62
63
63 <div id="MathJaxFetchingWarning"
64 <div id="MathJaxFetchingWarning"
@@ -179,7 +180,6
179 <div id="kernel_section">
180 <div id="kernel_section">
180 <div class="section_header">
181 <div class="section_header">
181 <h3>Kernel</h3>
182 <h3>Kernel</h3>
182 <span id="kernel_status">Idle</span>
183 </div>
183 </div>
184 <div class="section_content">
184 <div class="section_content">
185 <div class="section_row">
185 <div class="section_row">
General Comments 0
You need to be logged in to leave comments. Login now