settings.scss 1.8 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889
  1. .ide-settings-tab-nav.nav {
  2. width: 240px;
  3. border-right: var(--bs-modal-header-border-width) solid
  4. var(--bs-modal-header-border-color);
  5. padding: var(--spacing-02);
  6. gap: var(--spacing-02);
  7. }
  8. .ide-settings-tab-content {
  9. max-height: 75%;
  10. height: 500px;
  11. width: 100%;
  12. padding: 0 var(--spacing-06);
  13. overflow: auto;
  14. }
  15. .ide-settings-tab-subtitle {
  16. font-size: var(--font-size-04);
  17. line-height: var(--line-height-03);
  18. padding: var(--spacing-06) var(--spacing-08);
  19. }
  20. .ide-settings-tab-link {
  21. display: flex;
  22. align-items: flex-start;
  23. flex-direction: row;
  24. gap: var(--spacing-02);
  25. color: var(--neutral-90);
  26. padding: var(--spacing-02);
  27. border-radius: var(--border-radius-base);
  28. font-size: var(--font-size-02);
  29. line-height: var(--line-height-02);
  30. text-decoration: none;
  31. &:visited {
  32. color: var(--neutral-90);
  33. }
  34. &.active {
  35. color: var(--green-70);
  36. background-color: var(--bg-accent-03);
  37. font-weight: bold;
  38. }
  39. }
  40. .ide-settings-modal-body {
  41. padding: 0;
  42. }
  43. .ide-settings-section {
  44. padding-top: var(--spacing-06);
  45. padding-bottom: var(--spacing-05);
  46. display: flex;
  47. flex-direction: column;
  48. gap: var(--spacing-05);
  49. }
  50. .ide-settings-section-title {
  51. color: var(--content-secondary);
  52. font-size: var(--font-size-01);
  53. line-height: var(--line-height-01);
  54. padding-bottom: var(--spacing-06);
  55. border-bottom: 1px solid var(--border-divider);
  56. }
  57. .ide-setting {
  58. display: flex;
  59. justify-content: space-between;
  60. align-items: center;
  61. min-height: 48px;
  62. }
  63. .ide-dropdown-setting {
  64. width: 120px;
  65. }
  66. .ide-dropdown-setting-wide {
  67. width: 160px;
  68. }
  69. .ide-setting-title {
  70. color: var(--content-primary);
  71. font-size: var(--font-size-02);
  72. }
  73. .ide-setting-description {
  74. color: var(--content-secondary);
  75. font-size: var(--font-size-02);
  76. }