-/* min-height: 30px;
- -moz-padding-end: 1ch; */
-}
-
-notification[value="translation"] button > .button-box,
-notification[value="translation"] button[type="menu"] > .button-box > .button-menu-dropmarker {
- padding: 0;
-/* -moz-margin-start: 3ch; */
-}
-
-notification[value="translation"] button:not([type="menu"]) > .button-box {
-/* -moz-margin-end: 3ch; */
-}
-
-notification[value="translation"] button,
-notification[value="translation"] menulist,
-notification[value="translation"] menulist > .menulist-label-box {
-/* -moz-margin-start: 1ch;
- -moz-margin-end: 1ch; */