rail.scss 3.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168
  1. body {
  2. --ide-rail-background: var(--bg-primary-themed);
  3. --ide-rail-color: var(--content-primary-themed);
  4. --ide-rail-link-hover-color: var(--content-primary-themed);
  5. --ide-rail-link-background: var(--bg-primary-themed);
  6. --ide-rail-link-hover-background: var(--bg-secondary-themed);
  7. --ide-rail-border-colour: var(--border-divider-themed);
  8. --ide-rail-header-subdued-button-color: var(--content-primary-themed);
  9. --ide-rail-header-subdued-button-hover-background: var(--bg-tertiary-themed);
  10. --ide-rail-link-active-color: var(--green-10);
  11. --ide-rail-link-active-background: var(--green-70);
  12. }
  13. @include theme('light') {
  14. --ide-rail-link-active-color: var(--green-70);
  15. --ide-rail-link-active-background: var(--bg-accent-03);
  16. }
  17. .rail-panel-header {
  18. display: flex;
  19. justify-content: space-between;
  20. align-items: center;
  21. padding: var(--spacing-03) var(--spacing-04);
  22. background-color: var(--ide-rail-background);
  23. .rail-panel-header-button-subdued {
  24. @include ol-button-variant(
  25. var(--ide-rail-header-subdued-button-color),
  26. transparent,
  27. transparent,
  28. var(--ide-rail-header-subdued-button-hover-background),
  29. transparent,
  30. true
  31. );
  32. }
  33. }
  34. .rail-panel-header-actions {
  35. display: flex;
  36. align-items: center;
  37. gap: var(--spacing-01);
  38. }
  39. .rail-panel-title {
  40. font-size: var(--font-size-02);
  41. color: var(--ide-rail-color);
  42. margin-bottom: 0;
  43. }
  44. .ide-rail-tab-button {
  45. border: 0;
  46. background: none;
  47. }
  48. .ide-rail-tab-link {
  49. border-radius: var(--border-radius-base);
  50. display: block;
  51. margin: 0 auto;
  52. height: 32px;
  53. width: 32px;
  54. text-align: center;
  55. padding: 0;
  56. color: var(--ide-rail-color);
  57. background-color: var(--ide-rail-link-background);
  58. position: relative;
  59. overflow: visible;
  60. &:visited,
  61. &:focus {
  62. color: var(--ide-rail-color);
  63. }
  64. &:focus-visible {
  65. background-color: transparent;
  66. }
  67. &:hover {
  68. color: var(--ide-rail-link-hover-color);
  69. background-color: var(--ide-rail-link-hover-background);
  70. }
  71. .ide-rail-tab-link-icon {
  72. line-height: 32px;
  73. font-size: 20px;
  74. }
  75. &.open-rail {
  76. color: var(--ide-rail-link-active-color);
  77. background-color: var(--ide-rail-link-active-background);
  78. &::after {
  79. $indicator-height: 3px;
  80. border-top-left-radius: 12px;
  81. border-top-right-radius: 12px;
  82. content: '';
  83. position: absolute;
  84. bottom: 0;
  85. left: 4px;
  86. box-sizing: border-box;
  87. width: 24px;
  88. height: $indicator-height;
  89. background-color: var(--ide-rail-link-active-color);
  90. }
  91. }
  92. .badge {
  93. position: absolute;
  94. top: -4px;
  95. right: -4px;
  96. pointer-events: none;
  97. z-index: 10;
  98. padding: var(--spacing-00) var(--spacing-02);
  99. border-radius: var(--border-radius-full);
  100. }
  101. }
  102. .ide-rail {
  103. height: 100%;
  104. padding: var(--spacing-02);
  105. background: var(--ide-rail-background);
  106. border-right: 1px solid var(--ide-rail-border-colour);
  107. width: 40px;
  108. }
  109. .ide-rail-content {
  110. height: 100%;
  111. .logs-pane {
  112. top: 0;
  113. }
  114. .tab-pane {
  115. height: 100%;
  116. }
  117. }
  118. .ide-rail-tab-content {
  119. height: 100%;
  120. width: 100%;
  121. position: relative;
  122. }
  123. .ide-rail-tabs-nav {
  124. height: 100%;
  125. display: flex;
  126. flex-direction: column;
  127. gap: var(--spacing-02);
  128. padding-bottom: var(--spacing-04);
  129. }
  130. .ide-rail-tab-dropdown {
  131. border: 0;
  132. &.dropdown-toggle::after {
  133. display: none;
  134. }
  135. }
  136. .new-error-logs-promo {
  137. display: flex;
  138. gap: var(--spacing-04);
  139. font-weight: bold;
  140. font-size: var(--font-size-02);
  141. line-height: var(--line-height-02);
  142. background-color: black;
  143. border-radius: var(--border-radius-base);
  144. }