/* This Source Code Form is subject to the terms of the Mozilla Public
 * License, v. 2.0. If a copy of the MPL was not distributed with this
 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */

%include ../../shared/devtools/webconsole.inc.css

.webconsole-timestamp,
.webconsole-msg-body {
  font-family: "DejaVu Sans Mono", monospace;
}

.jsterm-input-node,
.jsterm-complete-node {
  font: 0.9em "DejaVu Sans Mono", monospace;
}

.hud-output-node {
  font-size: 0.9em;
}

.jsterm-input-node {
  width: 98%;
}
