settings.scss 1.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293
  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. .modal-backdrop.show.ide-settings-modal-transparent-backdrop {
  44. opacity: 0;
  45. }
  46. .ide-settings-section {
  47. padding-top: var(--spacing-06);
  48. padding-bottom: var(--spacing-05);
  49. display: flex;
  50. flex-direction: column;
  51. gap: var(--spacing-05);
  52. }
  53. .ide-settings-section-title {
  54. color: var(--content-secondary);
  55. font-size: var(--font-size-01);
  56. line-height: var(--line-height-01);
  57. padding-bottom: var(--spacing-06);
  58. border-bottom: 1px solid var(--border-divider);
  59. }
  60. .ide-setting {
  61. display: flex;
  62. justify-content: space-between;
  63. align-items: center;
  64. min-height: 48px;
  65. }
  66. .ide-dropdown-setting {
  67. width: 120px;
  68. }
  69. .ide-dropdown-setting-wide {
  70. width: 160px;
  71. }
  72. .ide-setting-title {
  73. color: var(--content-primary);
  74. font-size: var(--font-size-02);
  75. }
  76. .ide-setting-description {
  77. color: var(--content-secondary);
  78. font-size: var(--font-size-02);
  79. }