resources/themes/stylesheets/ext4/default/variables/_panel.scss

   1 // TODO: Change value to $include-default-uis !default;
   2 $include-panel-uis: true;
   3
   4 // ===============================
   5 // ========= BASE PANEL ==========
   6 // ===============================
   7 $panel-border-radius: null !default;
   8 $panel-base-color: adjust-color($base-color, $hue: 3.188deg, $saturation: 0.542%, $lightness: 7.843%) !default; //#DFE8F6
   9 $panel-border-color: adjust-color($base-color, $hue: 0.844deg, $saturation: 7.644%, $lightness: -8.627%) !default;
  10
  11 // ===============================
  12 // ========= PANEL BODY ==========
  13 // ===============================
  14 $panel-body-border-style: solid !default;
  15 $panel-body-background-color: #fff !default;
  16 $panel-body-color: #000 !default;
  17 $panel-body-border-color: $panel-border-color !default;
  18
  19 // ===============================
  20 // ======== PANEL TOOLS ==========
  21 // ===============================
  22 $tool-size: 15px !default;
  23
  24 // ===============================
  25 // ======== PANEL HEADER =========
  26 // ===============================
  27 $panel-header-border-width: 1px !default;
  28 $panel-header-border-style: solid !default;
  29 $panel-header-inner-border: true !default;
  30 $panel-header-inner-border-width: 1px 0 0 !default;
  31
  32 //padding
  33 $panel-header-padding: 5px 4px 4px 5px !default;
  34
  35 //fonts
  36 $panel-header-font-size: ceil($font-size * .9) !default; //11px
  37 $panel-header-line-height: $tool-size !default;
  38 $panel-header-font-weight: bold !default;
  39 $panel-header-font-family: $font-family !default;
  40
  41 //background
  42 $panel-header-background-gradient: 'panel-header' !default;
  43
  44 // UI defaults
  45 $panel-header-border-color: $panel-border-color !default;
  46 $panel-header-inner-border-color: adjust-color($panel-base-color, $hue: -6.522deg, $saturation: -6.098%, $lightness: 4.902%) !default;
  47 $panel-header-color: adjust-color($panel-base-color, $hue: -5.639deg, $saturation: 38.347%, $lightness: -63.725%) !default;
  48 $panel-header-background-color: adjust-color($panel-base-color, $hue: -3.522deg, $saturation: 6.402%, $lightness: -4.51%) !default;
  49
  50 // ===============================
  51 // ======== FRAMED PANEL =========
  52 // ===============================
  53 $frame-base-color: $panel-base-color !default;
  54
  55 //border
  56 $panel-frame-border-radius: 4px !default;
  57 $panel-frame-border-width: 1px !default;
  58 $panel-frame-border-style: solid !default;
  59 $panel-frame-padding: 4px !default;
  60
  61 // UI defaults
  62 $panel-frame-background-color: $frame-base-color !default;
  63 $panel-frame-border-color: $panel-border-color !default;