michael@0: /* This Source Code Form is subject to the terms of the Mozilla Public michael@0: * License, v. 2.0. If a copy of the MPL was not distributed with this michael@0: * file, You can obtain one at http://mozilla.org/MPL/2.0/. */ michael@0: michael@0: @namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"); michael@0: michael@0: button { michael@0: -moz-appearance: button; michael@0: /* The horizontal margin used here come from the Aqua Human Interface michael@0: Guidelines, there should be 12 pixels between two buttons. */ michael@0: margin: 5px 6px 3px; michael@0: min-width: 79px; michael@0: color: ButtonText; michael@0: text-shadow: none; michael@0: } michael@0: michael@0: .button-text { michael@0: margin: 1px 0 !important; michael@0: -moz-margin-start: 3px !important; michael@0: -moz-margin-end: 2px !important; michael@0: text-align: center; michael@0: } michael@0: michael@0: .button-icon { michael@0: -moz-margin-start: 1px; michael@0: } michael@0: michael@0: button[type="default"] { michael@0: font: menu; michael@0: } michael@0: michael@0: /* .......... disabled state .......... */ michael@0: michael@0: button[disabled="true"] { michael@0: color: GrayText; michael@0: } michael@0: michael@0: /* ::::: menu/menu-button buttons ::::: */ michael@0: michael@0: button[type="menu-button"] { michael@0: margin: 0; michael@0: border: none; michael@0: } michael@0: michael@0: .button-menu-dropmarker, michael@0: .button-menubutton-dropmarker { michael@0: -moz-appearance: none !important; michael@0: border: none; michael@0: background-color: transparent !important; michael@0: margin: 1px; michael@0: } michael@0: michael@0: .button-menu-dropmarker { michael@0: display: none; michael@0: } michael@0: michael@0: /* ::::: plain buttons ::::: */ michael@0: michael@0: button.plain { michael@0: margin: 0 !important; michael@0: padding: 0 !important; michael@0: } michael@0: michael@0: /* ::::: help button ::::: */ michael@0: michael@0: button[dlgtype="help"] { michael@0: -moz-appearance: -moz-mac-help-button; michael@0: width: 20px; michael@0: }