|
@@ -11,18 +11,22 @@
|
|
|
|
|
|
.ivprog-term-userText {
|
|
.ivprog-term-userText {
|
|
white-space: pre;
|
|
white-space: pre;
|
|
|
|
+ height: 1.6rem;
|
|
}
|
|
}
|
|
|
|
|
|
.ivprog-term-userText, .ivprog-term-userInput {
|
|
.ivprog-term-userText, .ivprog-term-userInput {
|
|
color: #f2d6d6;
|
|
color: #f2d6d6;
|
|
|
|
+ height: 1.6rem;
|
|
}
|
|
}
|
|
|
|
|
|
.ivprog-term-info {
|
|
.ivprog-term-info {
|
|
color: #28a628;
|
|
color: #28a628;
|
|
|
|
+ height: 1.6rem;
|
|
}
|
|
}
|
|
|
|
|
|
.ivprog-term-error {
|
|
.ivprog-term-error {
|
|
color: #df4242;
|
|
color: #df4242;
|
|
|
|
+ height: 1.6rem;
|
|
}
|
|
}
|
|
|
|
|
|
.ivprog-term-input {
|
|
.ivprog-term-input {
|
|
@@ -65,18 +69,18 @@
|
|
.ivprog-term-div::-webkit-scrollbar {
|
|
.ivprog-term-div::-webkit-scrollbar {
|
|
width: 12px;
|
|
width: 12px;
|
|
}
|
|
}
|
|
-
|
|
|
|
|
|
+
|
|
.ivprog-term-div::-webkit-scrollbar-track {
|
|
.ivprog-term-div::-webkit-scrollbar-track {
|
|
- -webkit-box-shadow: inset 0 0 6px rgba(0,0,0,0.3);
|
|
|
|
|
|
+ -webkit-box-shadow: inset 0 0 6px rgba(0,0,0,0.3);
|
|
-webkit-border-radius: 10px;
|
|
-webkit-border-radius: 10px;
|
|
border-radius: 10px;
|
|
border-radius: 10px;
|
|
}
|
|
}
|
|
-
|
|
|
|
|
|
+
|
|
.ivprog-term-div::-webkit-scrollbar-thumb {
|
|
.ivprog-term-div::-webkit-scrollbar-thumb {
|
|
-webkit-border-radius: 10px;
|
|
-webkit-border-radius: 10px;
|
|
border-radius: 10px;
|
|
border-radius: 10px;
|
|
background: green;
|
|
background: green;
|
|
- -webkit-box-shadow: inset 0 0 6px rgba(0,0,0,0.5);
|
|
|
|
|
|
+ -webkit-box-shadow: inset 0 0 6px rgba(0,0,0,0.5);
|
|
}
|
|
}
|
|
|
|
|
|
/**novas regras bash*/
|
|
/**novas regras bash*/
|
|
@@ -116,7 +120,7 @@
|
|
background: #111010;
|
|
background: #111010;
|
|
/* list-style: none; */
|
|
/* list-style: none; */
|
|
color: #F8F8FF;
|
|
color: #F8F8FF;
|
|
-
|
|
|
|
|
|
+
|
|
font: 14px 'Andale Mono', Consolas, 'Courier New';
|
|
font: 14px 'Andale Mono', Consolas, 'Courier New';
|
|
line-height: 1.6em;
|
|
line-height: 1.6em;
|
|
border: 1px solid #CCCCCC;
|
|
border: 1px solid #CCCCCC;
|