##// END OF EJS Templates
invoke css
Jonathan Frederic -
Show More
@@ -7771,6 +7771,7 div#header .header-bar {
7771 width: 100%;
7771 width: 100%;
7772 height: 0px;
7772 height: 0px;
7773 border-bottom: 1px solid #e7e7e7;
7773 border-bottom: 1px solid #e7e7e7;
7774 margin-bottom: -1px;
7774 }
7775 }
7775 @media print {
7776 @media print {
7776 div#header {
7777 div#header {
@@ -9597,12 +9598,6 p {
9597 .end_space {
9598 .end_space {
9598 height: 200px;
9599 height: 200px;
9599 }
9600 }
9600 .lower-header-bar {
9601 width: 100%;
9602 height: 0px;
9603 border-bottom: 1px solid #e7e7e7;
9604 margin-bottom: -1px;
9605 }
9606 .notebook_app #header {
9601 .notebook_app #header {
9607 -webkit-box-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.2);
9602 -webkit-box-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.2);
9608 box-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.2);
9603 box-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.2);
@@ -9764,6 +9759,7 select[multiple].celltoolbar select {
9764 box-sizing: border-box;
9759 box-sizing: border-box;
9765 -moz-box-sizing: border-box;
9760 -moz-box-sizing: border-box;
9766 -webkit-box-sizing: border-box;
9761 -webkit-box-sizing: border-box;
9762 margin-top: 1px;
9767 }
9763 }
9768 #menubar .navbar {
9764 #menubar .navbar {
9769 border-top: 1px;
9765 border-top: 1px;
@@ -10491,9 +10487,6 span.autosave_status {
10491 -webkit-box-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.2);
10487 -webkit-box-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.2);
10492 box-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.2);
10488 box-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.2);
10493 }
10489 }
10494 .terminal-app #header .header-bar {
10495 margin-bottom: -1px;
10496 }
10497 .terminal-app .terminal {
10490 .terminal-app .terminal {
10498 float: left;
10491 float: left;
10499 font-family: monospace;
10492 font-family: monospace;
General Comments 0
You need to be logged in to leave comments. Login now