EarlyBlue/skin/EarlyBlue/global/tabbox.css

   1 @namespace url(http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul);
   2
   3 /*============ tabpanels widget =============*/
   4
   5 tabpanels {
   6   padding: 5px;
   7 }
   8
   9 /* we give all tabpanel types a full border
  10    tabpanel is the box in which contents show up */
  11
  12 /* top tabs */
  13 tabs + tabpanels {
  14   border: 1px outset #CCD0DD;
  15 }
  16
  17 /* bottom tabs */
  18 tabbox > tabpanels {
  19   border: 1px outset #CCD0DD;
  20 }
  21
  22 /* left tabs */
  23 tabbox[orient="horizontal"] > tabs + tabpanels {
  24   border: 1px outset #CCD0DD;
  25 }
  26
  27 /* right tabs */
  28 tabbox[orient="horizontal"] > tabpanels {
  29   border: 1px outset #CCD0DD;
  30 }
  31
  32 /* border on bottom only, no padding (used in search) */
  33 tabpanels.light {
  34   border: none;
  35   border-bottom: 1px outset #CCD0DD;
  36   padding: 0px;
  37 }
  38
  39 .tabpanels-inner-box {
  40 }
  41
  42 /* tabs-spacer ========================== */
  43
  44 /* top tabs */
  45 tabbox > tabs > .tabs-spacer {
  46 }
  47
  48 /* bottom tabs */
  49 tabbox > tabpanels + tabs > .tabs-spacer {
  50 }
  51
  52 /* left tabs */
  53 tabbox[orient="horizontal"] > tabs > .tabs-spacer {
  54 }
  55
  56 /* right tabs */
  57 tabbox[orient="horizontal"] > tabpanels + tabs > .tabs-spacer {
  58 }
  59
  60 /*============ tab widget ============*/
  61 /* NOTE: there should be code in here for indenting the first tab
  62    by two pixels, however, this needs to be done with a spacer to
  63    fill in the border, but current attempts to use said spacer
  64    result in said spacer not rendering.  Will revisit.  - JRH */
  65
  66 /* tabs is the strip showing the tabs, while tab is the tab (switcher) itself */
  67
  68 tab {
  69   border: 1px outset #CCD0DD;
  70   color: black;
  71 }
  72
  73 tab > .tab-box > .tab-text {
  74   border: 1px solid transparent;
  75   padding: 0px 1px 0px 1px;
  76 }
  77
  78 tab:focus > .tab-box > .tab-text {
  79   border: 1px dotted #9999CC;
  80 }
  81
  82 .tab-box {
  83   margin: 0px;
  84   padding: 1px 3px 1px 3px !important;
  85 }
  86
  87 /* top tabs */
  88 tabs tab[first-tab="true"]  {
  89   margin-left: 2px;
  90 }
  91
  92 tabs tab  {
  93   margin-top: 2px;
  94   border-bottom: none;
  95 /*  -moz-border-radius: 4px 4px 0px 0px; */
  96 }
  97
  98 tabs tab > .tab-box {
  99 /*  -moz-border-radius: 4px 4px 0px 0px; */
 100 }
 101
 102 /* bottom tabs */
 103 tabpanels + tabs > tab {
 104   margin-top: 0px;
 105   margin-bottom: 2px;
 106   border-top: none;
 107 /*  -moz-border-radius: 0px 0px 4px 4px; */
 108   padding: 1px 5px 3px 5px;
 109 }
 110
 111 tabpanels + tabs > tab > .tab-box {
 112 /*  -moz-border-radius: 0px 0px 4px 4px; */
 113 }
 114
 115 /* left tabs */
 116 tabbox[orient="horizontal"] > tabs[orient="vertical"] tab[first-tab="true"]  {
 117   margin-top: 2px;
 118 }
 119
 120 tabbox[orient="horizontal"] > tabs[orient="vertical"] tab  {
 121   margin-left: 2px;
 122   border-right: none;
 123 /*  -moz-border-radius: 4px 0px 0px 4px; */
 124 }
 125
 126 tabbox[orient="horizontal"] > tabs[orient="vertical"] tab > .tab-box  {
 127 /*  -moz-border-radius: 4px 0px 0px 4px; */
 128 }
 129
 130 /* right tabs */
 131 tabbox[orient="horizontal"] > tabpanels + tabs[orient="vertical"] > tab {
 132   margin-right: 2px;
 133   margin-left: 0px;
 134   border-left: none;
 135 /*  -moz-border-radius: 0px 4px 4px 0px !important; */
 136 }
 137
 138 tabbox[orient="horizontal"] > tabpanels + tabs[orient="vertical"] > tab > .tab-box {
 139 /*  -moz-border-radius: 0px 4px 4px 0px !important; */
 140 }
 141
 142 /* selected tabs ============================= */
 143
 144 tab[selected="true"]  {
 145   font-weight: bold;
 146 }