padding: 0px;
}
-search-menulist[unavailable="true"] {
+.search-menulist[unavailable="true"] {
color: #808080;
}
-menulist {
+menulist:not(#menuSearchLocalSystem) {
width: 12em;
}
-menulist > menupopup > menuitem {
+menulist:not(#menuSearchLocalSystem) > menupopup > menuitem {
-moz-padding-end: 2px;
}
margin: 1px 4px;
}
+.filler {
+ -moz-padding-end: 22px;
+}
+
.small-button {
min-width: 3em;
padding: 0px;
margin: 0px 1px;
}
-
-listbox {
- padding-top: 2px;
-}