addendum to Bug 581183 - Divide the Console filters into categories, and rename them for clarity, r+a=dietrich, missed styling
authorPatrick Walton <pwalton@mozilla.com>
Tue, 10 Aug 2010 07:58:37 -0300
changeset 49269 5c75db883c6308925ee88837529622272e7cfc3e
parent 49268 b369f6e53db999b97df1258542ae0bf7ce0b204b
child 49272 681f34348024c3e78c3c8f3401f558b5a61c02bc
push id1
push userroot
push dateTue, 26 Apr 2011 22:38:44 +0000
treeherdermozilla-beta@bfdb6e623a36 [default view] [failures only]
perfherder[talos] [build metrics] [platform microbench] (compared to previous push)
bugs581183
milestone2.0b4pre
first release with
nightly linux32
nightly linux64
nightly mac
nightly win32
nightly win64
last release without
nightly linux32
nightly linux64
nightly mac
nightly win32
nightly win64
addendum to Bug 581183 - Divide the Console filters into categories, and rename them for clarity, r+a=dietrich, missed styling
toolkit/themes/pinstripe/global/headsUpDisplay.css
--- a/toolkit/themes/pinstripe/global/headsUpDisplay.css
+++ b/toolkit/themes/pinstripe/global/headsUpDisplay.css
@@ -107,16 +107,22 @@
     font: 1em monospace; background-color: white;
     width: 100%;
 }
 
 .hud-group:first-child .hud-divider {
     display: none;
 }
 
+.hud-filter-cat {
+    color: #6b6b6b;
+    font-weight: bold;
+    margin: 0px 12px 0px 0px;
+}
+
 /* JSTerm Styles */
 
 .jsterm-wrapper-node {
     font-family: monospace; 
     font-size: 1em;
     background-color: #000; 
     border: 1px solid #333; 
     padding: 0.1em;