The Tor Browser: toolkit/themes/osx/global/dialog.css@b8a032363ba2

Incorporate requested changes from Mozilla in review:
https://bugzilla.mozilla.org/show_bug.cgi?id=1123480#c6

     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 @namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");

     7 #commonDialog > image {

     8   -moz-margin-end: 14px !important;

9 }

    11 #commonDialog > .dialog-button-box {

    12   -moz-margin-start: 80px;

    13 }

    15 dialog {

    16   -moz-appearance: dialog;

    17   padding: 14px;

    18 }

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

    22 .dialog-button {

    23   font: menu;

    24 }

    26 /* ::::: dialog header ::::: */

    28 dialogheader {

    29   margin: 0 5px 5px;

    30   padding: 5px 8px;

    31 }

    33 .dialogheader-title {

    34   margin: 0 !important;

    35   font-size: larger;

    36   font-weight: bold;

    37   display: none;

    38 }

    40 /* ::::: large dialog header ::::: */

    42 .header-large {

    43   -moz-box-orient: vertical;

    44   margin: -14px -14px 0;

    45   padding: 12px;

    46   -moz-padding-end: 5px;

    47   -moz-padding-start: 25px;

    48 }

    50 .header-large > .dialogheader-title {

    51   font: inherit;

    52   font-weight: bold;

    53 }

    55 .header-large > .dialogheader-description {

    56   margin-left: 12px !important;

    57 }

    59 .dialogheader-description {

    60   font-weight: bold !important;

    61 }

    63 .dialogheader-title {

    64   font-weight: bold !important;

    65 }

    67 /*XXX - belongs to toolkit/content/finddialog.xul: */

    69 #findDialog,

    70 #findDialog > menu,

    71 #findDialog > groupbox {

    72   font: menu !important;

    73 }

    75 #dialog\.caseSensitive {

    76   margin-top: 8px;

    77 }

The Tor Browser / file revision