From 2df1016bd53c92167fbc7c15fa38d800d137a419 Mon Sep 17 00:00:00 2001
From: Kris Maglione <maglione.k@gmail.com>
Date: Sat, 6 Dec 2008 10:03:12 -0500
Subject: [PATCH] Fix command line padding

---
 common/content/style.js | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/common/content/style.js b/common/content/style.js
index e4bcf196..97614d77 100644
--- a/common/content/style.js
+++ b/common/content/style.js
@@ -24,7 +24,7 @@ Highlights.prototype.CSS = <![CDATA[
     NonText     color: blue; min-height: 16px; padding-left: 2px;
     Preview     color: gray;
 
-    CmdLine     font-family: monospace; padding: 1px;
+    CmdLine,>*  font-family: monospace; padding: 1px;
 
     CompGroup
     CompGroup:not(:first-of-type) margin-top: .5em;
@@ -177,6 +177,9 @@ function Highlights(name, store, serial)
                     .forEach(function (style)
         {
             style = Highlight.apply(Highlight, Array.slice(style.match(/^\s*([^,\s]+)(?:,([^,\s]+)?)?(?:,([^,\s]+))?\s*(.*)$/), 1));
+            if (/^[>+ ]/.test(style.selector))
+                style.selector = self.selector(style.class + style.selector);
+
             let old = highlight[style.class];
             highlight[style.class] = style;
             if (old && old.value != old.default)