+setting[first-row="true"] {
+ margin-top: 2em;
+}
+
+.preferences-description {
+ font-size: 90.9%;
+ color: #808080;
+ margin-top: -2px;
+ -moz-margin-start: 2em;
+}
+
+setting[type="string"] > .setting-input > textbox {
+ -moz-box-flex: 1;
+}
+
+setting[type="radio"] > radiogroup {
+ -moz-box-orient: horizontal;
+}
+
+menulist { /* Fixes some styling inconsistencies */
+ margin: 1px 5px 2px 5px;
+}
+