##// END OF EJS Templates
Move terminal CSS into LESS file
Thomas Kluyver -
Show More
@@ -11,3 +11,7 b''
11 color: black;
11 color: black;
12 background: white;
12 background: white;
13 }
13 }
14
15 #terminado-container {
16 margin: 8px;
17 }
@@ -10495,4 +10495,7 b' span#autosave_status {'
10495 color: black;
10495 color: black;
10496 background: white;
10496 background: white;
10497 }
10497 }
10498 #terminado-container {
10499 margin: 8px;
10500 }
10498 /*# sourceMappingURL=../style/style.min.css.map */ No newline at end of file
10501 /*# sourceMappingURL=../style/style.min.css.map */
1 NO CONTENT: file was removed
NO CONTENT: file was removed
General Comments 0
You need to be logged in to leave comments. Login now