-/* ::::: button-like menus ::::: */
-
-menu.push {
- border: 1px solid #FF9F00;
- padding: 2px;
- margin: 2px;
- background-color: inherit;
- background-image: inherit;
-}
-
-menu.push:hover:active,
-menu.push[open] {
- border-color: #FFCF00;
- padding-top: 3px;
- padding-bottom: 1px;
- -moz-padding-start: 3px;
- -moz-padding-end: 1px;
-}
-
-menu.push[disabled="true"],
-menu.push[disabled="true"]:hover,
-menu.push[disabled="true"]:hover:active {
- color: #8050B0;
-}