|
@@ -1960,7 +1960,7 @@ popover.emoji-completion .emoji:hover { background: #424242; }
|
|
|
|
|
|
|
|
.console-view textview, .console-view entry { font: 12px "Monospace"; }
|
|
.console-view textview, .console-view entry { font: 12px "Monospace"; }
|
|
|
|
|
|
|
|
-.statusbar { background-color: #4c4c4c; font-size: 10px; min-height: 22px; padding-left: 12px; }
|
|
|
|
|
|
|
+.statusbar { font-size: 10px; min-height: 22px; padding-left: 12px; }
|
|
|
|
|
|
|
|
.axis { min-width: 22px; font-weight: bold; border-radius: 4px 0px 0px 4px; }
|
|
.axis { min-width: 22px; font-weight: bold; border-radius: 4px 0px 0px 4px; }
|
|
|
|
|
|