.hud-output-node div {
-moz-user-select: text;
white-space: pre-wrap;
+ -moz-user-focus: normal;
}
.hud-output-node .hud-network {
width: 100%;
}
+.hud-group:first-child .hud-divider {
+ display: none;
+}
+
/* JSTerm Styles */
.jsterm-wrapper-node {
.jsterm-input-node {
width: 98%;
font-family: monospace;
- font-size: 1.2em;
- line-height: 1.6em;
- background-color: black;
- color: white;
+ font-size: 9pt;
+ background: url("chrome://global/skin/icons/commandline.png") 4px 3px no-repeat !important;
+ border: none !important;
+ padding: 0px 0px 0px 16px !important;
}
-.jsterm-output-line {
- font-size: 1.2em;
+.jsterm-input-node textarea {
+ overflow-x: hidden;
}
-.hud-filter-btn {
- margin: 2px !important;
+.jsterm-output-line {
+ font-size: 1.2em;
}
.hud-console-filter-toolbar {