ide-react.less 2.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106
  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. }
  14. .ide-react-main {
  15. height: 100%;
  16. display: flex;
  17. flex-direction: column;
  18. .toolbar.toolbar-header {
  19. position: static;
  20. flex-grow: 0;
  21. color: var(--neutral-20);
  22. }
  23. }
  24. .ide-react-body {
  25. flex-grow: 1;
  26. }
  27. .horizontal-resize-handle {
  28. width: @ui-resizer-size !important;
  29. height: 100%;
  30. // Enable ::before and ::after pseudo-elements to position themselves correctly
  31. position: relative;
  32. background-color: @editor-resizer-bg-color;
  33. .custom-toggler {
  34. padding: 0;
  35. border-width: 0;
  36. }
  37. &::before,
  38. &::after {
  39. // This SVG has the colour hard-coded to the current value of @ol-blue-gray-2, so if we changed @ol-blue-gray-2,
  40. // we'd have to change this SVG too
  41. 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");
  42. display: block;
  43. position: absolute;
  44. text-align: center;
  45. left: 0;
  46. width: 7px;
  47. height: 18px;
  48. }
  49. &::before {
  50. top: 25%;
  51. }
  52. &::after {
  53. top: 75%;
  54. }
  55. }
  56. .vertical-resize-handle {
  57. height: 6px;
  58. background-color: @vertical-resizable-resizer-bg;
  59. &:hover {
  60. background-color: @vertical-resizable-resizer-hover-bg;
  61. }
  62. &::after {
  63. // This SVG has the colour hard-coded to the current value of @ol-blue-gray-2, so if we changed @ol-blue-gray-2,
  64. // we'd have to change this SVG too
  65. 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");
  66. display: block;
  67. text-align: center;
  68. line-height: 0;
  69. }
  70. }
  71. // Styles for placeholder elements that will eventually be replaced
  72. .ide-react-placeholder-chat {
  73. background-color: var(--editor-toolbar-bg);
  74. color: var(--neutral-20);
  75. height: 100%;
  76. }
  77. .ide-react-placeholder-editor-sidebar {
  78. height: 100%;
  79. background-color: @file-tree-bg;
  80. color: var(--neutral-20);
  81. }
  82. .ide-react-placeholder-symbol-palette {
  83. height: 100%;
  84. background-color: @symbol-palette-bg;
  85. color: var(--neutral-20);
  86. }
  87. .ide-react-file-tree-panel {
  88. display: flex;
  89. }