color: #8050B0;
}
-menulist {
+menulist:not(#menuSearchLocalSystem) {
width: 12em;
}
-menulist > menupopup > menuitem {
- -moz-padding-end: 2px;
+menulist:not(#menuSearchLocalSystem) > menupopup > menuitem {
+ padding-inline-end: 2px;
}
textbox {
}
.filler {
- -moz-padding-end: 22px;
+ padding-inline-end: 22px;
}
.small-button {