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