##// END OF EJS Templates
invoke css
Jonathan Frederic -
Show More
@@ -18,6 +18,8 b' pre {'
18 label {
18 label {
19 font-weight: normal;
19 font-weight: normal;
20 }
20 }
21 /* Make the page background atleast 100% the height of the view port */
22 /* Make the page itself atleast 70% the height of the view port */
21 .border-box-sizing {
23 .border-box-sizing {
22 box-sizing: border-box;
24 box-sizing: border-box;
23 -moz-box-sizing: border-box;
25 -moz-box-sizing: border-box;
@@ -7476,6 +7476,8 b' pre {'
7476 label {
7476 label {
7477 font-weight: normal;
7477 font-weight: normal;
7478 }
7478 }
7479 /* Make the page background atleast 100% the height of the view port */
7480 /* Make the page itself atleast 70% the height of the view port */
7479 .border-box-sizing {
7481 .border-box-sizing {
7480 box-sizing: border-box;
7482 box-sizing: border-box;
7481 -moz-box-sizing: border-box;
7483 -moz-box-sizing: border-box;
@@ -7738,7 +7740,7 b' div.traceback-wrapper {'
7738 * Author: IPython Development Team
7740 * Author: IPython Development Team
7739 */
7741 */
7740 body {
7742 body {
7741 background-color: white;
7743 background-color: #ffffff;
7742 /* This makes sure that the body covers the entire window and needs to
7744 /* This makes sure that the body covers the entire window and needs to
7743 be in a different element than the display: box in wrapper below */
7745 be in a different element than the display: box in wrapper below */
7744 position: absolute;
7746 position: absolute;
@@ -8138,14 +8140,52 b' ul#new-notebook-menu {'
8138 overflow: auto;
8140 overflow: auto;
8139 max-height: 20em;
8141 max-height: 20em;
8140 }
8142 }
8141 #texteditor-container {
8143 #current-mode {
8142 border-bottom: 1px solid #ccc;
8144 margin-right: 16px;
8145 }
8146 .edit_app #header {
8147 -webkit-box-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.2);
8148 box-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.2);
8149 }
8150 .edit_app #menubar .navbar {
8151 /* Use a negative 1 bottom margin, so the border overlaps the border of the
8152 header */
8153 margin-bottom: -1px;
8143 }
8154 }
8144 #filename {
8155 #filename {
8145 font-size: 16pt;
8156 font-size: 16pt;
8146 display: table;
8157 display: table;
8147 padding: 0px 5px;
8158 padding: 0px 5px;
8148 }
8159 }
8160 #texteditor-backdrop {
8161 padding-top: 20px;
8162 padding-bottom: 20px;
8163 }
8164 @media not print {
8165 #texteditor-backdrop {
8166 min-height: 100vh;
8167 background-color: #eeeeee;
8168 }
8169 }
8170 @media print {
8171 #texteditor-backdrop #texteditor-container .CodeMirror-gutter {
8172 background-color: #ffffff;
8173 }
8174 }
8175 @media not print {
8176 #texteditor-backdrop #texteditor-container .CodeMirror-gutter {
8177 background-color: #ffffff;
8178 }
8179 }
8180 @media not print {
8181 #texteditor-backdrop #texteditor-container {
8182 padding: 15px;
8183 background-color: #ffffff;
8184 min-height: 70vh;
8185 -webkit-box-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.2);
8186 box-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.2);
8187 }
8188 }
8149 /*!
8189 /*!
8150 *
8190 *
8151 * IPython notebook
8191 * IPython notebook
@@ -9477,9 +9517,12 b' div#notebook_panel {'
9477 box-sizing: border-box;
9517 box-sizing: border-box;
9478 -moz-box-sizing: border-box;
9518 -moz-box-sizing: border-box;
9479 -webkit-box-sizing: border-box;
9519 -webkit-box-sizing: border-box;
9480 background-color: #eeeeee;
9520 }
9481 /* Make the page background atleast 100% the height of the view port */
9521 @media not print {
9482 min-height: 100vh;
9522 div#notebook_panel {
9523 background-color: #eeeeee;
9524 min-height: 100vh;
9525 }
9483 }
9526 }
9484 div#notebook {
9527 div#notebook {
9485 font-size: 14px;
9528 font-size: 14px;
@@ -9499,9 +9542,7 b' div#notebook {'
9499 @media not print {
9542 @media not print {
9500 #notebook-container {
9543 #notebook-container {
9501 padding: 15px;
9544 padding: 15px;
9502 border-color: #ffffff;
9503 background-color: #ffffff;
9545 background-color: #ffffff;
9504 /* Make the page itself atleast 70% the height of the view port */
9505 min-height: 70vh;
9546 min-height: 70vh;
9506 -webkit-box-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.2);
9547 -webkit-box-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.2);
9507 box-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.2);
9548 box-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.2);
General Comments 0
You need to be logged in to leave comments. Login now