+/* The options tab is special - it doesn't have the same parent
+ as the other tabs (toolbox-option-container vs toolbox-tabs) */
+#toolbox-option-container .devtools-tab:not([selected]) {
+/* background-color: transparent;*/
+}
+#toolbox-option-container .devtools-tab {
+/* border-color: transparent;
+ border-width: 0;
+ -moz-padding-start: 1px;*/
+}
+#toolbox-tab-options > image {
+/* margin: 0 8px;*/
+}
+