styles.uss 1.6 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677
  1. /* Global Styles */
  2. /* can't use :root here for some reason -- the variables get lost when switching between changes and history tabs */
  3. * {
  4. --standard-margin: 8px;
  5. --half-standard-margin: 4px;
  6. --quarter-standard-margin: 2px;
  7. --standard-padding: var(--standard-margin);
  8. --icon-size: 16px;
  9. --half-icon-size: 8px;
  10. --large-icon-size: 22px;
  11. --half-large-icon-size: 11px;
  12. --icon-standard-margin: var(--half-standard-margin);
  13. --list-entry-height: 25px;
  14. --list-entry-path-font-size: 10px;
  15. --dark-list-entry-path-text-color: #949494;
  16. --light-list-entry-path-text-color: #6B6B6B;
  17. --profile-icon-font-size: 13px;
  18. --no-color: rgba(0, 0, 0, 0);
  19. --dark-placeholder-text-color: #7D7D7D;
  20. --light-placeholder-text-color: #7D7D7D;
  21. /* Colours used for custom buttons that don't have a border */
  22. --dark-button-hover-focus-bg-color: #303030;
  23. --light-button-hover-focus-bg-color: #B2B2B2;
  24. --dark-button-active-bg-color: #484848;
  25. --light-button-active-bg-color: #8F8F8F;
  26. --divider-dark: #5F5F5F;
  27. --divider-light: #9A9A9A;
  28. --fixed-size: 0 0 auto;
  29. }
  30. .hidden {
  31. display: none;
  32. }
  33. .divider-horizontal {
  34. height: 1px;
  35. }
  36. .dark .divider-horizontal {
  37. background-color: var(--divider-dark);
  38. }
  39. .light .divider-horizontal {
  40. background-color: var(--divider-light);
  41. }
  42. .divider-vertical {
  43. width: 1px;
  44. }
  45. .dark .divider-vertical {
  46. background-color: var(--divider-dark);
  47. }
  48. .light .divider-vertical {
  49. background-color: var(--divider-light);
  50. }
  51. .row {
  52. flex-direction: row;
  53. }
  54. .column {
  55. flex-direction: column;
  56. }
  57. .grow {
  58. flex-grow: 1;
  59. }