Panel.scss 1.8 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950
  1. $panel-background-color: dynamic($background-color);
  2. $panel-border-color: dynamic($faded-color);
  3. $panel-border-width: dynamic(1px);
  4. $panel-border-style: dynamic(solid);
  5. $panel-body-border-color: dynamic($panel-border-color);
  6. $panel-body-border-width: dynamic($panel-border-width);
  7. $panel-body-border-style: dynamic($panel-border-style);
  8. $panel-body-font-weight: dynamic(400);
  9. $panel-body-font-size: dynamic(12px);
  10. $panel-body-font-size-big: dynamic(14px);
  11. $panel-body-line-height: dynamic(18px);
  12. $panel-body-line-height-big: dynamic(20px);
  13. $panel-header-background-color: dynamic($base-color);
  14. $panel-header-border-color: dynamic($panel-border-color);
  15. $panel-header-border-width: dynamic($panel-border-width);
  16. $panel-header-border-style: dynamic($panel-border-style);
  17. $panel-header-shadow: dynamic(null);
  18. $panel-header-color: dynamic($base-foreground-color);
  19. $panel-header-icon-color: dynamic($panel-header-color);
  20. $panel-header-font-size: dynamic(18px);
  21. $panel-header-font-size-big: dynamic(20px);
  22. $panel-header-font-weight: dynamic(600);
  23. $panel-header-line-height: dynamic(24px);
  24. $panel-header-line-height-big: dynamic(24px);
  25. $panel-header-padding: dynamic(0 $content-padding);
  26. $panel-header-padding-big: dynamic(0 $content-padding);
  27. $panel-header-title-padding: dynamic(($content-padding / 2) 0);
  28. $panel-header-title-padding-big: dynamic(($content-padding / 2) 0);
  29. $panel-header-min-height: dynamic(48px);
  30. $panel-header-min-height-big: dynamic(64px);
  31. $panel-tool-opacity: dynamic($tool-opacity);
  32. $panel-tool-hovered-opacity: dynamic($tool-hovered-opacity);
  33. $panel-tool-pressed-opacity: dynamic($tool-pressed-opacity);
  34. $panel-tool-size: dynamic(20px);
  35. $panel-tool-size-big: dynamic(20px);
  36. $panel-light-ui: dynamic((
  37. header-background-color: $alt-background-color,
  38. header-color: $color,
  39. tool-color: $color,
  40. tool-focused-outline-color: $base-color
  41. ));