The Tor Browser: toolkit/themes/faststripe/global/tabbox.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 /* ===== 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: 1px solid #555555;

    16 }

    18 /* ::::: tabpanels ::::: */

    20 tabpanels {

    21   border-right: 1px solid #555555;

    22   border-bottom: 1px solid #555555;

    23   border-left: 1px solid #555555;

    24   padding: 8px;

    25   background-color: -moz-Dialog;

    26   color: -moz-DialogText;

    27 }

    29 /* ::::: tab ::::: */

    31 tab

    32 {

    33   margin-top: 2px;

    34   border-top: 1px solid #555555;

    35   border-right: 1px solid #555555;

    36   border-left: 1px solid #555555;

    37   border-bottom: 1px solid #555555;

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

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

    40   padding: 1px 4px 2px 4px;

    41   background-color: -moz-Dialog;

    42   color: -moz-DialogText;

    43 }

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

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

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

    48 }

    50 .tab-text {

    51   margin: 0 !important;

    52 }

    54 tab[selected="true"] {

    55   margin-top: 0;

    56   border-bottom-color: transparent;

    57   padding: 1px 6px 4px 6px;

    58 }

    60 tab:focus > .tab-middle {

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

    62   outline: 1px dotted;

    63 }

    65 tab[beforeselected="true"]:not(:-moz-locale-dir(rtl)),

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

    67   border-right: none;

    68   border-top-right-radius: 0;

    69 }

    71 tab[selected="true"]:not(:-moz-locale-dir(rtl)) + tab,

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

    73   border-left: none;

    74   border-top-left-radius: 0;

    75 }

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

    78   padding-right: 5px;

    79   padding-left: 5px;

    80 }

    82 /* ::::: tab-bottom ::::::::::

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

    84    :: a tabpanels.

    85    ::::: */

    87 .tab-bottom {

    88   margin-top: 0;

    89   margin-bottom: 2px;

    90   border-top: 1px solid;

    91   border-bottom: 1px solid #555555;

    92   border-top-left-radius: 0;

    93   border-top-right-radius: 0;

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

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

    96   padding: 2px 4px 1px 4px;

    97 }

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

   100   margin-bottom: 0;

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

   102   padding: 4px 6px 1px 6px;

   103 }

   105 .tab-bottom[beforeselected="true"]:not(:-moz-locale-dir(rtl)),

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

   107   border-bottom-right-radius: 0;

   108 }

   110 .tab-bottom[selected="true"]:not(:-moz-locale-dir(rtl)) + .tab-bottom,

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

   112   border-bottom-left-radius: 0;

   113 }

   115 /* ::::: tabs-bottom ::::: */

   117 .tabs-bottom > .tabs-left,

   118 .tabs-bottom > .tabs-right {

   119   border-top: 1px solid ThreeDShadow;

   120   border-bottom: none;

   121 }

The Tor Browser / file revision