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