+.devtools-tab > spacer {
+ max-width: 0;
+ -moz-box-flex: 0;
+}
+
+.devtools-tab > image {
+ -moz-margin-end: 0;
+ -moz-margin-start: 0;
+}
+
+#toolbox-tab-options {
+ min-width: 20px;
+}
+
+#toolbox-tab-options > image {
+ -moz-margin-end: 3px;
+}
+
+.devtools-tab:not(.highlighted) > .highlighted-icon,
+.devtools-tab[selected=true] > .highlighted-icon,
+.devtools-tab:not([selected=true]).highlighted > .default-icon {
+ visibility: collapse;
+}
+
+.devtools-tab:not([selected=true]).highlighted {
+ color: #FFCF00;
+}
+
+.devtools-tab:not(.highlighted) > .highlighted-icon,
+.devtools-tab[selected=true] > .highlighted-icon,
+.devtools-tab:not([selected=true]).highlighted > .default-icon {
+ visibility: collapse;
+}
+
+.options-vertical-pane {
+ margin: 5px;
+ width: calc(50% - 30px);
+ min-width: 400px;
+ -moz-padding-start: 5px;
+}
+
+.options-vertical-pane > label {
+ padding: 2px 0;
+ font-size: 1.4rem;
+}
+
+.options-groupbox {
+ -moz-margin-start: 15px;
+ padding: 2px;
+}
+
+.options-groupbox > * {
+ padding: 2px;
+}
+
+.options-citation-label {
+ font-size: 1rem !important;
+ /* !important is required otherwise font-size will still be 1.4rem */
+ font-style: italic;
+ padding: 4px 0 0; /* To align it with the checkbox */
+ color: #A09090;
+}
+
+.options-citation-label + label {
+ padding: 3px 0 0 !important; /* To align it with the checkbox */
+ font-style: italic;
+}
+
+.hidden-labels-box:not(.visible) > label,
+.hidden-labels-box.visible ~ .hidden-labels-box > label:last-child {
+ display: none;