##// END OF EJS Templates
invoke css
Jonathan Frederic -
Show More
@@ -10411,16 +10411,25 b' span.autosave_status {'
10411 10411 .terminal {
10412 10412 float: left;
10413 10413 border: black solid 5px;
10414 font-family: "DejaVu Sans Mono", "Liberation Mono", monospace;
10414 font-family: monospace;
10415 10415 font-size: 11px;
10416 10416 color: white;
10417 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 10428 .terminal-cursor {
10420 10429 color: black;
10421 10430 background: white;
10422 10431 }
10423 10432 #terminado-container {
10424 margin: 8px;
10433 padding-top: 20px;
10425 10434 }
10426 10435 /*# 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