Merge pull request #196 from Sevlin/dark-term

Terminal dark background
This commit is contained in:
Laszlo Fogas 2021-05-10 08:46:39 +02:00 committed by GitHub
commit 7cd778bbe1
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2,14 +2,14 @@
@import '~shared/styles/ansi'; @import '~shared/styles/ansi';
.term { .term {
background: @gray-light; background: @gray-dark;
border-radius: 2px; border-radius: 2px;
padding: 20px; padding: 20px;
.exitcode { .exitcode {
-moz-user-select: none; -moz-user-select: none;
-webkit-user-select: none; -webkit-user-select: none;
color: rgba(0, 0, 0, 0.3); color: rgba(255, 255, 255, 0.6);
font-family: 'Roboto Mono', monospace; font-family: 'Roboto Mono', monospace;
font-size: 13px; font-size: 13px;
margin-top: 10px; margin-top: 10px;
@ -21,7 +21,7 @@
.line { .line {
color: @gray-dark; color: @white;
display: flex; display: flex;
line-height: 19px; line-height: 19px;
max-width: 100%; max-width: 100%;
@ -35,12 +35,12 @@
a { a {
text-decoration: none; text-decoration: none;
color: rgba(0, 0, 0, 0.3); color: rgba(255, 255, 255, 0.6);
} }
div:first-child { div:first-child {
-webkit-user-select: none; -webkit-user-select: none;
color: rgba(0, 0, 0, 0.3); color: rgba(255, 255, 255, 0.6);
min-width: 20px; min-width: 20px;
padding-right: 20px; padding-right: 20px;
user-select: none; user-select: none;
@ -55,7 +55,7 @@
div:last-child { div:last-child {
-webkit-user-select: none; -webkit-user-select: none;
color: rgba(0, 0, 0, 0.3); color: rgba(255, 255, 255, 0.6);
padding-left: 20px; padding-left: 20px;
user-select: none; user-select: none;
} }
@ -63,13 +63,15 @@
.highlight { .highlight {
.line; .line;
color: @black;
background-color: @yellow; background-color: @yellow;
} }
// log loading message // log loading message
.loading { .loading {
background: @gray-light; background: @gray-dark;
border-radius: 2px; border-radius: 2px;
color: @white;
font-family: 'Roboto Mono', monospace; font-family: 'Roboto Mono', monospace;
font-size: 13px; font-size: 13px;
padding: 20px; padding: 20px;
@ -77,7 +79,7 @@
// log error message // log error message
.error { .error {
background: @gray-light; background: @gray-dark;
border-radius: 2px; border-radius: 2px;
color: @red; color: @red;
font-size: 14px; font-size: 14px;