##// END OF EJS Templates
invoke css
Jonathan Frederic -
Show More
@@ -10411,16 +10411,25 b' span.autosave_status {'
10411 .terminal {
10411 .terminal {
10412 float: left;
10412 float: left;
10413 border: black solid 5px;
10413 border: black solid 5px;
10414 font-family: "DejaVu Sans Mono", "Liberation Mono", monospace;
10414 font-family: monospace;
10415 font-size: 11px;
10415 font-size: 11px;
10416 color: white;
10416 color: white;
10417 background: black;
10417 background: black;
10418 border-radius: 2px;
10419 box-shadow: 0px 4px 11px 0px gray;
10420 border: 0px;
10421 padding: 0.4em;
10422 }
10423 .terminal,
10424 .terminal dummy-screen {
10425 line-height: 1.21429em;
10426 font-size: 14px;
10418 }
10427 }
10419 .terminal-cursor {
10428 .terminal-cursor {
10420 color: black;
10429 color: black;
10421 background: white;
10430 background: white;
10422 }
10431 }
10423 #terminado-container {
10432 #terminado-container {
10424 margin: 8px;
10433 padding-top: 20px;
10425 }
10434 }
10426 /*# sourceMappingURL=style.min.css.map */ No newline at end of file
10435 /*# sourceMappingURL=style.min.css.map */
General Comments 0
You need to be logged in to leave comments. Login now