+.webconsole-timestamp,
+.webconsole-msg-body,
+.jsterm-input-node,
+.jsterm-complete-node {
+ font-family: "Liberation Mono", Consolas, "Courier New", 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;
+}
+
+/* === webconsole.inc.css === */
+