The Tor Browser: toolkit/themes/windows/global/tabbox.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 /* ===== tabbox.css =================================================

     6   == Styles used by XUL tab-related elements.

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

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

    11 /* ::::: tabs ::::: */

    13 .tabs-left,

    14 .tabs-right {

    15   border-bottom: 2px solid;

    16   -moz-border-bottom-colors: ThreeDHighlight ThreeDLightShadow;

    17 }

    19 /* ::::: tabpanels ::::: */

    21 tabpanels {

    22   -moz-appearance: tabpanels;

    23   border-right: 2px solid;

    24   border-bottom: 2px solid;

    25   border-left: 2px solid;

    26   -moz-border-right-colors: ThreeDDarkShadow ThreeDShadow;

    27   -moz-border-bottom-colors: ThreeDDarkShadow ThreeDShadow;

    28   -moz-border-left-colors: ThreeDHighlight ThreeDLightShadow;

    29   padding: 8px;

    30   background-color: -moz-Dialog;

    31   color: -moz-DialogText;

    32 }

    34 /* ::::: tab ::::: */

    36 tab

    37 {

    38   -moz-appearance: tab;

    39   margin-top: 2px;

    40   border-top: 2px solid;

    41   border-right: 2px solid;

    42   border-left: 2px solid;

    43   border-bottom: 1px solid ThreeDHighlight;

    44   -moz-border-top-colors: ThreeDHighlight ThreeDLightShadow;

    45   -moz-border-right-colors: ThreeDDarkShadow ThreeDShadow;

    46   -moz-border-left-colors: ThreeDHighlight ThreeDLightShadow;

    47   border-top-left-radius: 2px;

    48   border-top-right-radius: 2px;

    49   padding: 1px 4px 2px 4px;

    50   background-color: -moz-Dialog;

    51   color: -moz-DialogText;

    52 }

    54 tab:-moz-locale-dir(rtl) {

    55   border-bottom-left-radius: 1px;

    56   border-bottom-right-radius: 0px;

    57 }

    59 .tab-text {

    60   margin: 0 !important;

    61 }

    63 tab[selected="true"] {

    64   margin-top: 0;

    65   border-bottom-color: transparent;

    66   padding: 1px 6px 4px 6px;

    67 }

    69 tab:-moz-focusring > .tab-middle {

    70   /* Don't specify the outline-color, we should always use initial value. */

    71   outline: 1px dotted;

    72 }

    74 tab[beforeselected="true"]:-moz-locale-dir(ltr),

    75 tab[selected="true"]:-moz-locale-dir(rtl) + tab {

    76   border-right: none;

    77   border-top-right-radius: 0;

    78 }

    80 tab[selected="true"]:-moz-locale-dir(ltr) + tab,

    81 tab[beforeselected="true"]:-moz-locale-dir(rtl) {

    82   border-left: none;

    83   border-top-left-radius: 0;

    84 }

    86 tab:first-of-type[selected="true"] {

    87   padding-right: 5px;

    88   padding-left: 5px;

    89 }

    91 /* ::::: tab-bottom ::::::::::

    92    :: Tabs that are attached to the bottom of a panel, but not necessarily

    93    :: a tabpanels.

    94    ::::: */

    96 .tab-bottom {

    97   margin-top: 0;

    98   margin-bottom: 2px;

    99   border-top: 1px solid;

   100   border-bottom: 2px solid;

   101   -moz-border-top-colors: ThreeDShadow;

   102   -moz-border-bottom-colors: ThreeDShadow ThreeDLightShadow;

   103   border-top-left-radius: 0;

   104   border-top-right-radius: 0;

   105   border-bottom-right-radius: 2px;

   106   border-bottom-left-radius: 2px;

   107   padding: 2px 4px 1px 4px;

   108 }

   110 .tab-bottom[selected="true"] {

   111   margin-bottom: 0;

   112   -moz-border-top-colors: -moz-Dialog;

   113   padding: 4px 6px 1px 6px;

   114 }

   116 .tab-bottom[beforeselected="true"]:-moz-locale-dir(ltr),

   117 .tab-bottom[selected="true"]:-moz-locale-dir(rtl) + .tab-bottom {

   118   border-bottom-right-radius: 0;

   119 }

   121 .tab-bottom[selected="true"]:-moz-locale-dir(ltr) + .tab-bottom,

   122 .tab-bottom[beforeselected="true"]:-moz-locale-dir(rtl) {

   123   border-bottom-left-radius: 0;

   124 }

   126 /* ::::: tabs-bottom ::::: */

   128 .tabs-bottom > .tabs-left,

   129 .tabs-bottom > .tabs-right {

   130   border-top: 1px solid ThreeDShadow;

   131   border-bottom: none;

   132 }

The Tor Browser / file revision