ide-react.less 2.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129
  1. #ide-root {
  2. height: 100vh;
  3. .global-alerts {
  4. position: absolute;
  5. top: 0;
  6. left: 0;
  7. right: 0;
  8. }
  9. .chat {
  10. position: relative;
  11. height: 100%;
  12. }
  13. .review-panel {
  14. height: 100%;
  15. }
  16. .rp-state-overview {
  17. position: sticky;
  18. top: 0;
  19. }
  20. }
  21. .ide-react-main {
  22. height: 100%;
  23. display: flex;
  24. flex-direction: column;
  25. .toolbar.toolbar-header {
  26. position: static;
  27. flex-grow: 0;
  28. color: var(--neutral-20);
  29. }
  30. }
  31. .ide-react-body {
  32. flex-grow: 1;
  33. background-color: @pdf-bg;
  34. overflow-y: hidden;
  35. }
  36. .horizontal-resize-handle {
  37. width: @ui-resizer-size !important;
  38. height: 100%;
  39. // Enable ::before and ::after pseudo-elements to position themselves correctly
  40. position: relative;
  41. background-color: @editor-resizer-bg-color;
  42. .custom-toggler {
  43. padding: 0;
  44. border-width: 0;
  45. }
  46. &::before,
  47. &::after {
  48. // This SVG has the colour hard-coded to the current value of @ol-blue-gray-2, so if we changed @ol-blue-gray-2,
  49. // we'd have to change this SVG too
  50. 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");
  51. display: block;
  52. position: absolute;
  53. text-align: center;
  54. left: 0;
  55. width: 7px;
  56. height: 18px;
  57. }
  58. &::before {
  59. top: 25%;
  60. }
  61. &::after {
  62. top: 75%;
  63. }
  64. .synctex-controls {
  65. left: -8px;
  66. margin: 0;
  67. // Ensure that SyncTex controls appear in front of PDF viewer controls and logs pane
  68. z-index: 12;
  69. }
  70. }
  71. .vertical-resize-handle {
  72. height: 6px;
  73. background-color: @vertical-resizable-resizer-bg;
  74. &:hover {
  75. background-color: @vertical-resizable-resizer-hover-bg;
  76. }
  77. &::after {
  78. // This SVG has the colour hard-coded to the current value of @ol-blue-gray-2, so if we changed @ol-blue-gray-2,
  79. // we'd have to change this SVG too
  80. 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");
  81. display: block;
  82. text-align: center;
  83. line-height: 0;
  84. }
  85. }
  86. .ide-react-editor-sidebar {
  87. height: 100%;
  88. background-color: @file-tree-bg;
  89. color: var(--neutral-20);
  90. }
  91. .ide-react-symbol-palette {
  92. height: 100%;
  93. background-color: @symbol-palette-bg;
  94. color: var(--neutral-20);
  95. }
  96. .ide-react-file-tree-panel {
  97. display: flex;
  98. }
  99. // Ensure an element with class "full-size", such as the binary file view, stays within the bounds of the panel
  100. .ide-react-panel {
  101. position: relative;
  102. }
  103. // Styles for placeholder elements that will eventually be replaced
  104. .ide-react-placeholder-chat {
  105. background-color: var(--editor-toolbar-bg);
  106. color: var(--neutral-20);
  107. height: 100%;
  108. }