update both themes for browser winstripe changes in the Firefox 18 cycle

[themes.git] / LCARStrek / browser / devtools / commandline.css

diff --git a/LCARStrek/browser/devtools/commandline.css b/LCARStrek/browser/devtools/commandline.css
index 46cc02a5ae994aadced3fddf488e3d3ddc66db85..d0f125e71e824e2562eed9e4294b81a6b8dda58a 100644 (file)
--- a/LCARStrek/browser/devtools/commandline.css
+++ b/LCARStrek/browser/devtools/commandline.css
@@ -62,10 +62,15 @@
 .gcli-row-out h4,
 .gcli-row-out h5,
 .gcli-row-out th,
-.gcli-row-out strong {
+.gcli-row-out strong,
+.gcli-row-out pre {
   color: #FFCF00;
 }
 
+.gcli-row-out pre {
+  font-size: 80%;
+}
+
 .gcli-out-shortcut,
 .gcli-help-synopsis {
   padding: 0 3px;