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