docs/resources/themes/stylesheets/ext4/default/variables/_tabs.scss

   1 //color
   2 $tabbar-base-color: adjust-color($panel-base-color, $hue: -1.522deg, $saturation: -3.156%, $lightness: -5.294%) !default;
   3 $tabbar-background-gradient: 'tabbar' !default;
   4
   5 //background
   6 $tab-base-color: adjust-color($base-color, $hue: -0.43deg, $saturation: 33.016%, $lightness: 9.02%) !default; //#deecfd
   7 $tab-base-color-over: adjust-color($tab-base-color, $hue: -4.208deg, $saturation: 11.429%, $lightness: 2.353%) !default;
   8 $tab-base-color-active: $tab-base-color !default;
   9 $tab-base-color-disabled: adjust-color($base-color, $hue: 0.267deg, $saturation: 15.873%, $lightness: 9.02%) !default; //E1ECFA
  10
  11 $tab-background: $tab-base-color !default;
  12 $tab-background-over: $tab-base-color-over !default;
  13 $tab-background-active: $tab-base-color-active !default;
  14 $tab-background-disabled: $tab-base-color-disabled !default;
  15
  16 $tab-color: adjust-color($tab-base-color, $hue: 1.995deg, $saturation: -45.589%, $lightness: -48.431%) !default;
  17 $tab-color-over: $tab-color !default;
  18 $tab-color-active: adjust-color($tab-color, $hue: 2.221deg, $saturation: 30.768%, $lightness: -13.333%) !default;
  19 $tab-color-disabled: #c3b3b3 !default;
  20
  21 $tab-font-size: ceil($font-size * .9) !default; //11px
  22 $tab-font-size-over: $tab-font-size !default;
  23 $tab-font-size-active: $tab-font-size !default;
  24 $tab-font-size-disabled: $tab-font-size !default;
  25
  26 $tab-font-family: $font-family;
  27 $tab-font-family-over: $tab-font-family;
  28 $tab-font-family-active: $tab-font-family;
  29 $tab-font-family-disabled: $tab-font-family;
  30
  31 $tab-font-weight: bold !default;
  32 $tab-font-weight-over: $tab-font-weight !default;
  33 $tab-font-weight-active: $tab-font-weight !default;
  34 $tab-font-weight-disabled: $tab-font-weight !default;
  35
  36 $tab-background-gradient: 'tab' !default;
  37 $tab-background-gradient-over: 'tab-over' !default;
  38 $tab-background-gradient-active: 'tab-active' !default;
  39 $tab-background-gradient-disabled: 'tab-disabled' !default;
  40
  41 //borders
  42 $tab-inner-border: true !default;
  43
  44 $tab-top-border-radius: 4px 4px 0 0 !default;
  45 $tab-top-border-width: 1px 1px 0 1px !default;
  46 $tab-top-inner-border-width: 1px 1px 0 !default;
  47
  48 $tab-bottom-border-radius: 0 0 4px 4px !default;
  49 $tab-bottom-border-width: 0 1px 1px 1px !default;
  50 $tab-bottom-inner-border-width: 0 1px 1px 1px !default;
  51
  52 $tab-border-color: adjust-color($tab-base-color, $hue: 1.283deg, $saturation: -28.008%, $lightness: -20.98%) !default;
  53 $tab-border-color-over: $tab-border-color !default;
  54 $tab-border-color-active: $tab-border-color !default;
  55 $tab-border-color-disabled: adjust-color($base-color, $hue: 1.282deg, $saturation: 6.349%, $lightness: -0.588%) !default;
  56
  57 $tab-inner-border-color: adjust-color($tab-base-color, $hue: 0.847deg, $saturation: -8.571%, $lightness: 8.941%) !default;
  58
  59 $tabbar-border-color: $panel-header-border-color !default;
  60
  61 //size
  62 $tab-height: 20px !default;
  63 $tab-spacing: 2px;
  64
  65 //tab bar body border and padding
  66 $tabbar-top-body-border-width: 1px 1px 0 !default;
  67 $tabbar-top-body-padding: 1px 0 3px !default;
  68 $tabbar-top-plain-body-border-width: 0 !default;
  69 $tabbar-top-plain-body-padding: 0 0 3px !default;
  70 $tabbar-bottom-body-border-width: 0 1px 1px !default;
  71 $tabbar-bottom-body-padding: 3px 0 1px !default;
  72 $tabbar-bottom-plain-body-border-width: 0 !default;
  73 $tabbar-bottom-plain-body-padding: 3px 0 0 !default;
  74
  75 //closable tab
  76 $tab-closable-icon: 'tab/tab-default-close.gif' !default;
  77 $tab-closable-icon-width: 11px !default;
  78 $tab-closable-icon-height: 11px !default;
  79 $tab-closable-icon-top: 3px !default;
  80 $tab-closable-icon-right: 3px !default;
  81
  82 //tab bar strip
  83 $tabbar-strip-height: 3px !default;
  84 $tabbar-strip-border-color: $panel-header-border-color !default;
  85 $tabbar-strip-background-color: $tab-base-color !default;
  86 $tabbar-top-strip-border-width: 1px 1px 0 !default;
  87 $tabbar-bottom-strip-border-width: 0 1px 1px !default;