##// END OF EJS Templates
invoke css
Jonathan Frederic -
Show More
@@ -10208,6 +10208,7 b' span.save_widget span.filename {'
10208 10208 height: 1em;
10209 10209 line-height: 1em;
10210 10210 padding: 3px;
10211 margin-left: 16px;
10211 10212 border: none;
10212 10213 font-size: 146.5%;
10213 10214 border-radius: 2px;
@@ -10428,9 +10429,6 b' span.autosave_status {'
10428 10429 font-family: monospace;
10429 10430 color: white;
10430 10431 background: black;
10431 border-radius: 2px;
10432 -webkit-box-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.4);
10433 box-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.4);
10434 10432 padding: 0.4em;
10435 10433 }
10436 10434 .terminal,
@@ -10443,6 +10441,10 b' span.autosave_status {'
10443 10441 background: white;
10444 10442 }
10445 10443 #terminado-container {
10446 padding-top: 20px;
10444 margin-top: 20px;
10445 background: black;
10446 border-radius: 2px;
10447 -webkit-box-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.4);
10448 box-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.4);
10447 10449 }
10448 10450 /*# sourceMappingURL=style.min.css.map */ No newline at end of file
General Comments 0
You need to be logged in to leave comments. Login now