EarlyBlue/global/tabbox.css

   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/. */
   4
   5 /* ===== tabbox.css =================================================
   6   == Styles used by XUL tab-related elements.
   7   ======================================================================= */
   8
   9 @namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");
  10
  11 /* ::::: tabs ::::: */
  12
  13 .tabs-left,
  14 .tabs-right {
  15 /*
  16   border-bottom: 2px solid;
  17   -moz-border-bottom-colors: ThreeDHighlight ThreeDLightShadow;
  18 */
  19 }
  20
  21 /* ::::: tabpanels ::::: */
  22
  23 /* tabpanel is the box in which contents show up */
  24
  25 tabpanels {
  26   border: 1px outset #CCD0DD;
  27   padding: 5px;
  28   background-color: #CCD0DD;
  29   color: #000000;
  30 }
  31
  32 /* ::::: tab ::::: */
  33
  34 tab {
  35   margin-top: 1px;
  36   border: 1px outset #CCD0DD;
  37   border-bottom: none;
  38   padding: 1px 4px 2px;
  39   background-color: #CCD0DD;
  40   color: #000000;
  41 }
  42
  43 .tab-text {
  44   margin: 0 !important;
  45 }
  46
  47 tab[selected="true"] {
  48   font-weight: bold;
  49   background-color: #EDF1FF;
  50 }
  51
  52 tab:hover {
  53   color: #336699;
  54 }
  55
  56 tab:-moz-focusring > .tab-middle {
  57   /* Don't specify the outline-color, we should always use initial value. */
  58   outline: 1px dotted;
  59 }
  60
  61 /*
  62 tab:first-of-type[selected="true"] {
  63   -moz-padding-end: 5px;
  64   -moz-padding-start: 5px;
  65 }
  66 */
  67
  68 /* ::::: tab-bottom ::::::::::
  69    :: Tabs that are attached to the bottom of a panel, but not necessarily
  70    :: a tabpanels.
  71    ::::: */
  72
  73 .tab-bottom {
  74   margin-top: 0;
  75   margin-bottom: 2px;
  76   border: 1px outset #CCD0DD;
  77   border-top: none;
  78   padding: 2px 4px 1px;
  79 }
  80
  81 /* ::::: tabs-bottom ::::: */
  82
  83 .tabs-bottom > .tabs-left,
  84 .tabs-bottom > .tabs-right {
  85   border-top: 1px solid #666699;
  86   border-bottom: none;
  87 }