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: 
michael@0: @import url("chrome://global/skin/");
michael@0: @namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");
michael@0: 
michael@0: 
michael@0: #warningScreen
michael@0: {
michael@0:   background-color: -moz-Dialog;
michael@0: }
michael@0: 
michael@0: #warningBox
michael@0: {
michael@0:   background-color: -moz-Field;
michael@0:   color: -moz-FieldText;
michael@0:   border: 1px solid ThreeDShadow;
michael@0:   border-radius: 10px;
michael@0:   padding: 3em;
michael@0:   -moz-padding-start: 30px;
michael@0:   margin-left: 1em;
michael@0:   margin-right: 1em;
michael@0: }
michael@0: 
michael@0: #warningInnerBox
michael@0: {
michael@0:  max-width: 50em;
michael@0: }
michael@0: 
michael@0: #warningTitle
michael@0: {
michael@0:   margin: 0 0 .6em 0;
michael@0:   font-size: 160%;
michael@0:   border-bottom: 1px solid ThreeDLightShadow
michael@0: }
michael@0: 
michael@0: #warningText
michael@0: {
michael@0:   font-size: 110%;
michael@0:   margin-left: 0;
michael@0: }
michael@0: 
michael@0: #warningButton
michael@0: {
michael@0:   margin-top: 0.6em;
michael@0: }
michael@0: 
michael@0: #showWarningNextTime
michael@0: {
michael@0:   margin-top: 0.6em;
michael@0: }
michael@0: 
michael@0: #exclam
michael@0: {
michael@0: %ifdef MOZ_WIDGET_GTK
michael@0:   list-style-image: url("moz-icon://stock/gtk-dialog-warning?size=dialog");
michael@0: %else
michael@0:   list-style-image: url("chrome://global/skin/icons/warning-large.png");
michael@0: %endif
michael@0:   -moz-margin-end: 3em;
michael@0: }
michael@0: 
michael@0: #configTreeBody::-moz-tree-cell-text(user)
michael@0: {
michael@0:   font-weight: bold;
michael@0: }
michael@0: 
michael@0: #configTreeBody::-moz-tree-cell-text(locked)
michael@0: {
michael@0:   font-style: italic;
michael@0: }
michael@0: 
michael@0: #configTree 
michael@0: {  
michael@0:   margin-top: 5px;
michael@0:   margin-bottom: 5px;
michael@0: }
michael@0: 
michael@0: #filterRow
michael@0: {
michael@0:   margin-top: 5px;
michael@0: }