_variables.scss 1.7 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647
  1. @use 'sass:map';
  2. @use '../../styles/settings';
  3. @use '../../styles/tools';
  4. // Defaults
  5. $banner-action-margin: 20px !default;
  6. $banner-actions-line-margin-top: 20px !default;
  7. $banner-background: rgb(var(--v-theme-surface)) !default;
  8. $banner-border-color: settings.$border-color-root !default;
  9. $banner-border-radius: map.get(settings.$rounded, 0) !default;
  10. $banner-border-style: settings.$border-style-root !default;
  11. $banner-border-thin-width: thin !default;
  12. $banner-border-width: 0 0 thin 0 !default;
  13. $banner-color: rgba(var(--v-theme-on-surface), var(--v-high-emphasis-opacity)) !default;
  14. $banner-density: ('default': 0, 'comfortable': -1, 'compact': -2) !default;
  15. $banner-elevation: 0 !default;
  16. $banner-font-size: tools.map-deep-get(settings.$typography, 'body-2', 'size') !default;
  17. $banner-line-height: tools.map-deep-get(settings.$typography, 'subtitle-2', 'line-height') !default;
  18. $banner-padding-inline-start: 16px !default;
  19. $banner-padding-inline-end: 8px !default;
  20. $banner-padding: 8px !default;
  21. $banner-positions: absolute fixed sticky !default;
  22. $banner-prepend-margin-end: 24px !default;
  23. $banner-rounded-border-radius: settings.$border-radius-root !default;
  24. $banner-stacked-padding-inline-end: 36px !default;
  25. $banner-sticky-top: 0 !default;
  26. $banner-sticky-z-index: 1 !default;
  27. $banner-text-padding-end: 90px !default;
  28. $banner-width: 100% !default;
  29. // Mobile
  30. $banner-mobile-avatar-margin-end: 16px !default;
  31. $banner-mobile-content-padding-end: 8px !default;
  32. $banner-mobile-padding-end: 8px !default;
  33. $banner-mobile-padding-start: 16px !default;
  34. $banner-border: (
  35. $banner-border-color,
  36. $banner-border-style,
  37. $banner-border-width,
  38. $banner-border-thin-width
  39. ) !default;
  40. $banner-theme: (
  41. $banner-background,
  42. $banner-color
  43. ) !default;