| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156 |
- #ide-root {
- height: 100vh;
- .global-alerts {
- position: absolute;
- top: 0;
- left: 0;
- right: 0;
- }
- .chat {
- position: relative;
- height: 100%;
- }
- .review-panel {
- height: 100%;
- }
- .rp-state-overview {
- position: sticky;
- top: 0;
- }
- }
- .ide-react-main {
- height: 100%;
- display: flex;
- flex-direction: column;
- .toolbar.toolbar-header {
- position: static;
- flex-grow: 0;
- color: var(--neutral-20);
- }
- }
- .ide-react-body {
- flex-grow: 1;
- background-color: @pdf-bg;
- overflow-y: hidden;
- z-index: 0;
- }
- .horizontal-resize-handle {
- width: @ui-resizer-size !important;
- height: 100%;
- // Enable ::before and ::after pseudo-elements to position themselves correctly
- position: relative;
- background-color: @editor-resizer-bg-color;
- .custom-toggler {
- padding: 0;
- border-width: 0;
- }
- &.horizontal-resize-handle-enabled {
- &::before,
- &::after {
- // This SVG has the colour hard-coded to the current value of @ol-blue-gray-2, so if we changed @ol-blue-gray-2,
- // we'd have to change this SVG too
- 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");
- display: block;
- position: absolute;
- text-align: center;
- left: 0;
- width: 7px;
- height: 18px;
- }
- &::before {
- top: 25%;
- }
- &::after {
- top: 75%;
- }
- }
- &:not(.horizontal-resize-handle-enabled) {
- cursor: default;
- }
- .synctex-controls {
- left: -8px;
- margin: 0;
- // Ensure that SyncTex controls appear in front of PDF viewer controls and logs pane
- z-index: 12;
- }
- }
- .vertical-resize-handle {
- height: 6px;
- background-color: @vertical-resizable-resizer-bg;
- &:hover {
- background-color: @vertical-resizable-resizer-hover-bg;
- }
- &::after {
- // This SVG has the colour hard-coded to the current value of @ol-blue-gray-2, so if we changed @ol-blue-gray-2,
- // we'd have to change this SVG too
- 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");
- display: block;
- text-align: center;
- line-height: 0;
- }
- }
- .ide-react-editor-sidebar {
- height: 100%;
- background-color: @file-tree-bg;
- color: var(--neutral-20);
- }
- .ide-react-symbol-palette {
- height: 100%;
- background-color: @symbol-palette-bg;
- color: var(--neutral-20);
- }
- .ide-react-file-tree-panel {
- display: flex;
- // Prevent the file tree expanding beyond the boundary of the panel
- .file-tree {
- width: 100%;
- }
- }
- .ide-react-editor-panel {
- display: flex;
- flex-direction: column;
- }
- // Ensure an element with class "full-size", such as the binary file view, stays within the bounds of the panel
- .ide-react-panel {
- position: relative;
- }
- // Styles for placeholder elements that will eventually be replaced
- .ide-react-placeholder-chat {
- background-color: var(--editor-toolbar-bg);
- color: var(--neutral-20);
- height: 100%;
- }
- .ide-panel-group-resizing {
- background-color: white;
- // Hide panel contents while resizing
- .ide-react-editor-content,
- .pdf {
- display: none !important;
- }
- }
|