The Tor Browser: toolkit/themes/windows/global/dialog.css@6474c204b198

Cloned upstream origin tor-browser at tor-browser-31.3.0esr-4.5-1-build1
revision ID fc1c9ff7c1b2defdbc039f12214767608f46423f for hacking purpose.

     1 /* This Source Code Form is subject to the terms of the Mozilla Public

     2  * License, v. 2.0. If a copy of the MPL was not distributed with this

     3  * file, You can obtain one at http://mozilla.org/MPL/2.0/. */

     5 /* ===== dialog.css =====================================================

     6   == Styles used by the XUL dialog element.

     7   ======================================================================= */

     9 @namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");

    11 /* ::::: dialog ::::: */

    13 dialog {

    14   padding-top: 8px;

    15   padding-bottom: 10px;

    16   -moz-padding-start: 8px;

    17   -moz-padding-end: 10px;

    18 }

    20 /* ::::: dialog buttons ::::: */

    22 .dialog-button {

    23   font: menu;

    24   margin-top: 6px;

    25 }

    27 /* ::::: dialog header ::::: */

    29 dialogheader {

    30   margin: 0px 5px 5px 5px;

    31   border: 2px solid;

    32   -moz-border-top-colors: ThreeDShadow ThreeDDarkShadow;

    33   -moz-border-right-colors: ThreeDHighlight ThreeDDarkShadow;

    34   -moz-border-bottom-colors: ThreeDHighlight ThreeDDarkShadow;

    35   -moz-border-left-colors: ThreeDShadow ThreeDDarkShadow;

    36   padding: 5px 8px;

    37   background-color: Highlight;

    38   color: HighlightText;

    39 }

    41 .dialogheader-title {

    42   margin: 0px !important;

    43   font-size: larger;

    44   font-weight: bold;

    45 }

    47 /* ::::: large dialog header ::::: */

    49 .header-large {

    50   -moz-box-orient: vertical;

    51   margin-top: -8px;

    52   margin-bottom: 0;

    53   -moz-margin-start: -8px;

    54   -moz-margin-end: -10px;

    55   border-left: none;

    56   border-right: none;

    57   border-top: none;

    58   -moz-border-bottom-colors: ThreeDHighlight ThreeDShadow;

    59   padding-top: 12px;

    60   padding-bottom: 12px;

    61   -moz-padding-start: 25px;

    62   -moz-padding-end: 5px;

    63   background-color: Window;

    64   color: WindowText;

    65 }

    67 .header-large > .dialogheader-title {

    68   font: inherit;

    69   font-weight: bold;

    70 }

    72 .header-large > .dialogheader-description {

    73   -moz-margin-start: 12px !important;

    74 }

The Tor Browser / file revision