ide-react.less 3.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166
  1. #ide-root {
  2. height: 100vh;
  3. .global-alerts {
  4. position: absolute;
  5. top: 0;
  6. left: 0;
  7. right: 0;
  8. display: flex;
  9. flex-direction: column;
  10. align-items: center;
  11. }
  12. .chat {
  13. position: relative;
  14. height: 100%;
  15. }
  16. .review-panel-wrapper {
  17. &.rp-state-overview {
  18. position: sticky;
  19. top: 0;
  20. height: 100%;
  21. }
  22. }
  23. }
  24. .ide-react-main {
  25. height: 100%;
  26. display: flex;
  27. flex-direction: column;
  28. .toolbar.toolbar-header {
  29. position: static;
  30. flex-grow: 0;
  31. color: var(--neutral-20);
  32. }
  33. }
  34. .ide-react-body {
  35. flex-grow: 1;
  36. background-color: @pdf-bg;
  37. overflow-y: hidden;
  38. z-index: 0;
  39. }
  40. .horizontal-resize-handle {
  41. width: @ui-resizer-size !important;
  42. height: 100%;
  43. // Enable ::before and ::after pseudo-elements to position themselves correctly
  44. position: relative;
  45. background-color: @editor-resizer-bg-color;
  46. .custom-toggler {
  47. padding: 0;
  48. border-width: 0;
  49. }
  50. &.horizontal-resize-handle-enabled {
  51. &::before,
  52. &::after {
  53. // This SVG has the colour hard-coded to the current value of @ol-blue-gray-2, so if we changed @ol-blue-gray-2,
  54. // we'd have to change this SVG too
  55. content: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='7' height='18' viewBox='0 0 7 18'%3E%3Cpath d='M2 0h3v3H2zM2 5h3v3H2zM2 10h3v3H2zM2 15h3v3H2z' style='fill:%239da7b7'/%3E%3C/svg%3E");
  56. display: block;
  57. position: absolute;
  58. text-align: center;
  59. left: 0;
  60. width: 7px;
  61. height: 18px;
  62. }
  63. &::before {
  64. top: 25%;
  65. }
  66. &::after {
  67. top: 75%;
  68. }
  69. }
  70. &:not(.horizontal-resize-handle-enabled) {
  71. cursor: default;
  72. }
  73. .synctex-controls {
  74. left: -8px;
  75. margin: 0;
  76. // Ensure that SyncTex controls appear in front of PDF viewer controls and logs pane
  77. z-index: 12;
  78. }
  79. }
  80. .vertical-resize-handle {
  81. height: 6px;
  82. background-color: @vertical-resizable-resizer-bg;
  83. &.vertical-resize-handle-enabled {
  84. &:hover {
  85. background-color: @vertical-resizable-resizer-hover-bg;
  86. }
  87. }
  88. &:not(.vertical-resize-handle-enabled) {
  89. opacity: 0.5;
  90. cursor: default;
  91. }
  92. &::after {
  93. // This SVG has the colour hard-coded to the current value of @ol-blue-gray-2, so if we changed @ol-blue-gray-2,
  94. // we'd have to change this SVG too
  95. content: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='18' height='6' viewBox='0 0 18 6'%3E%3Cpath d='M0 1.5h3v3H0zM5 1.5h3v3H5zM10 1.5h3v3h-3zM15 1.5h3v3h-3z' style='fill:%239da7b7'/%3E%3C/svg%3E");
  96. display: block;
  97. text-align: center;
  98. line-height: 0;
  99. }
  100. }
  101. .ide-react-editor-sidebar {
  102. height: 100%;
  103. background-color: @file-tree-bg;
  104. color: var(--neutral-20);
  105. }
  106. .ide-react-symbol-palette {
  107. height: 100%;
  108. background-color: @symbol-palette-bg;
  109. color: var(--neutral-20);
  110. }
  111. .ide-react-file-tree-panel {
  112. display: flex;
  113. flex-direction: column;
  114. // Prevent the file tree expanding beyond the boundary of the panel
  115. .file-tree {
  116. width: 100%;
  117. }
  118. }
  119. .ide-react-editor-panel {
  120. display: flex;
  121. flex-direction: column;
  122. }
  123. // Ensure an element with class "full-size", such as the binary file view, stays within the bounds of the panel
  124. .ide-react-panel {
  125. position: relative;
  126. }
  127. // Styles for placeholder elements that will eventually be replaced
  128. .ide-react-placeholder-chat {
  129. background-color: var(--editor-toolbar-bg);
  130. color: var(--neutral-20);
  131. height: 100%;
  132. }
  133. .ide-panel-group-resizing {
  134. background-color: white;
  135. // Hide panel contents while resizing
  136. .ide-react-editor-content,
  137. .pdf {
  138. display: none !important;
  139. }
  140. }