+/* === BEGIN commandline.inc.css === */
+
+/* Developer toolbar */
+
+#developer-toolbar {
+ border-top: 3px solid #000000;
+ border-bottom: none;
+}
+
+#developer-toolbar .toolbar-holder {
+ background-color: #8050B0;
+ color: #FFCF00;
+}
+
+#developer-toolbar .toolbar-holder {
+ background-color: #8050B0;
+ color: #FFCF00;
+}
+
+#developer-toolbar .toolbar-startcap,
+#developer-toolbar .toolbar-endcap{
+ background-color: #6000CF;
+}
+
+#developer-toolbar {
+/* padding: 0;
+ min-height: 32px; */
+}
+
+.developer-toolbar-button {
+/* margin: 0;
+ padding: 0 10px;
+ width: 32px; */
+}
+
+.developer-toolbar-button > image {
+/* margin: auto 10px; */
+}
+
+#developer-toolbar-toolbox-button {
+ list-style-image: url("chrome://browser/skin/devtools/toggle-tools.png");
+ -moz-image-region: rect(0px, 16px, 16px, 0px);
+}
+
+#developer-toolbar-toolbox-button > label {
+ display: none;
+}
+
+#developer-toolbar-toolbox-button:hover,
+#developer-toolbar-toolbox-button:hover:active,
+#developer-toolbar-toolbox-button[checked=true] {
+ -moz-image-region: rect(0px, 32px, 16px, 16px);
+}
+
+/* GCLI */
+