The Tor Browser: toolkit/themes/osx/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 /*

     6     The default style of these tabs is that of an NSTabView with tabs at

     7     the top in the "regular" size. These tabs can be used with or without

     8     a tabbox element.

     9     For bottom tabs you should use the "tabs-bottom" class on the tabbox

    10     or the tabs element. Bottom tabs use a style that's similar to the

    11     one used in Adium.

    12 */

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

    16 tabbox {

    17   margin: 0 5px;

    18 }

    20 tabpanels {

    21   -moz-appearance: tabpanels;

    22   padding: 33px 15px 15px;

    23 }

    25 tabs {

    26   -moz-box-align: center;

    27   font: menu;

    28 }

    30 tabbox > tabs {

    31   padding: 0 10px;

    32   margin-bottom: -12px;

    33   position: relative;

    34 }

    36 tab {

    37   -moz-appearance: tab;

    38 }

    40 tab:-moz-focusring {

    41   /* Tab focus rings need to overlay adjacent tabs. */

    42   position: relative;

    43 }

    45 tab:first-of-type {

    46   -moz-padding-start: 2px;

    47 }

    49 tab:last-of-type {

    50   -moz-padding-end: 2px;

    51 }

    53 @media (-moz-mac-lion-theme) {

    54   tab[selected="true"] {

    55     color: #FFF;

    56     text-shadow: rgba(0, 0, 0, 0.4) 0 1px;

    57   }

    58 }

    60 .tab-middle {

    61   padding: 1px 6px 2px;

    62 }

    64 .tabs-left,

    65 .tabs-right  {

    66   -moz-box-flex: 1;

    67 }

    69 /* Tabs at the bottom

    70  * These tabs are smaller, left aligned and don't extend into the tabpanel.

    71  */

    73 tabbox.tabs-bottom > tabpanels {

    74   padding: 10px;

    75 }

    77 tabbox.tabs-bottom > tabs,

    78 tabs.tabs-bottom {

    79   background-color: rgba(0, 0, 0, 0.1);

    80   padding: 0;

    81   margin: 0;

    82   border-top: 2px solid;

    83   -moz-border-top-colors: #888 rgba(0, 0, 0, 0.08);

    84   -moz-box-align: start;

    85   font: message-box;

    86 }

    88 tabbox.tabs-bottom > tabs > .tabs-left,

    89 tabs.tabs-bottom > .tabs-left {

    90   -moz-box-flex: 0;

    91 }

    93 tabbox.tabs-bottom > tabs > tab,

    94 tabs.tabs-bottom > tab {

    95   -moz-appearance: none;

    96   margin: -1px 0 0;

    97   padding: 0 0 2px 0;

    98   position: relative;

    99   -moz-border-end: 1px solid rgba(0, 0, 0, 0.19);

   100 }

   102 tabbox.tabs-bottom > tabs > tab > .tab-middle,

   103 tabs.tabs-bottom > tab > .tab-middle {

   104   padding: 1px 2px 0 2px;

   105 }

   107 tabbox.tabs-bottom > tabs > tab:not([selected=true]):hover,

   108 tabs.tabs-bottom > tab:not([selected=true]):hover {

   109   background-color: rgba(0, 0, 0, 0.1);

   110   -moz-border-end-color: rgba(0, 0, 0, 0.1);

   111 }

   113 tabbox.tabs-bottom > tabs > tab[selected=true],

   114 tabs.tabs-bottom > tab[selected=true] {

   115   color: #000;

   116   text-shadow: none;

   117   border: solid #888;

   118   border-width: 0 2px 2px;

   119   border-radius: 2px;

   120   -moz-border-left-colors: rgba(0, 0, 0, 0.08) #888;

   121   -moz-border-right-colors: rgba(0, 0, 0, 0.08) #888;

   122   -moz-border-bottom-colors: rgba(0, 0, 0, 0.08) #888;

   123   -moz-margin-end: -1px;

   124   margin-top: -2px;

   125   margin-bottom: 1px;

   126   padding: 0;

   127 }

   129 tabbox.tabs-bottom > tabs > tab[beforeselected=true],

   130 tabs.tabs-bottom > tab[beforeselected=true] {

   131   -moz-border-end-color: transparent;

   132   -moz-margin-end: -2px;

   133 }

   135 tabbox.tabs-bottom > tabs > tab:first-of-type:not([selected=true]),

   136 tabs.tabs-bottom > tab:first-of-type:not([selected=true]) {

   137   -moz-border-start: 4px solid transparent;

   138 }

   140 tabbox.tabs-bottom > tabs > tab:first-of-type[selected=true],

   141 tabs.tabs-bottom > tab:first-of-type[selected=true] {

   142   -moz-margin-start: 2px;

   143 }

   145 tabbox.tabs-bottom,

   146 tabbox.tabs-bottom > tabpanels,

   147 tabbox.tabs-bottom > tabs > tab[selected=true] > .tab-middle,

   148 tabs.tabs-bottom > tab[selected=true] > .tab-middle {

   149   -moz-appearance: dialog;

   150 }

The Tor Browser / file revision