EarlyBlue/global/skin/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 /********** Tab widget *********/
  10 tab {
  11
  12   border: 1px outset #CCD0DD;
  13   color: black;
  14   padding: 3px 5px 3px 5px;
  15 }
  16
  17 /* when a tab is selected this is how it should look */
  18 tab[selected="true"] {
  19         font-weight: bold;
  20 }
  21
  22 tab:hover {
  23   color: #003366;
  24   text-decoration: underline;
  25 }
  26
  27 tab:hover:active {
  28   border: 1px inset #CCD0DD;
  29   text-decoration: none;
  30 }
  31
  32 tabs {
  33 /*  padding: 0px 2px 0px 2px; */
  34 }
  35
  36     /* top tabs */
  37 tabbox[orient="vertical"] > tabs[orient="horizontal"] tab  {
  38   border-bottom: none;
  39 /*  -moz-border-radius: 8px 8px 0px 0px; */
  40   padding-bottom: 1px;
  41 /*  margin: 1px 2px 1px 2px; */
  42 }
  43
  44         /* bottom tabs */
  45 tabbox[orient="vertical"] > tabpanels + tabs[orient="horizontal"] > tab {
  46   border-top: none;
  47 /*  -moz-border-radius: 0px 0px 8px 8px; */
  48   padding: 1px 5px 3px 5px;
  49 /*  margin: 1px 2px 1px 2px; */
  50 }
  51
  52         /* left tabs */
  53 tabbox[orient="horizontal"] > tabs[orient="vertical"] tab  {
  54   border-right: none;
  55 /*  -moz-border-radius: 8px 0px 0px 8px; */
  56   padding-right: 1px;
  57 /*  margin: 2px 1px 2px 1px; */
  58 }
  59
  60         /* right tabs */
  61 tabbox[orient="horizontal"] > tabpanels + tabs[orient="vertical"] > tab {
  62   border-left: none;
  63 /*  -moz-border-radius: 0px 8px 8px 0px; */
  64   padding: 3px 5px 1px 5px;
  65 /*  margin: 2px 1px 2px 1px; */
  66 }
  67
  68 tabbox {
  69   border: none;
  70 }
  71
  72 /* border on bottom only, no padding (used in search) */
  73 tabpanels.light {
  74   border: none;
  75   border-bottom: 1px outset #CCD0DD;
  76   padding: 0px;
  77 }
  78
  79 tabpanels {
  80   border: 1px outset #CCD0DD;
  81   padding: 5px;
  82 }
  83
  84
  85
  86