/* 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,
.jsterm-input-node,
.jsterm-complete-node {
  font-family: Consolas, Lucida Console, monospace;
}

/*
 * This hardcoded width likely due to a toolkit Windows specific bug.
 * See http://hg.mozilla.org/mozilla-central/annotate/f38d6df93cad/toolkit/themes/winstripe/global/textbox-aero.css#l7
 */

.hud-filter-box {
  width: 200px;
}
