2023-10-16 07:10:43 -04:00
|
|
|
#ide-root {
|
2023-10-02 05:35:02 -04:00
|
|
|
height: 100vh;
|
2023-10-18 05:14:58 -04:00
|
|
|
|
|
|
|
.global-alerts {
|
|
|
|
position: absolute;
|
|
|
|
top: 0;
|
|
|
|
left: 0;
|
|
|
|
right: 0;
|
2024-01-03 06:12:50 -05:00
|
|
|
display: flex;
|
|
|
|
flex-direction: column;
|
|
|
|
align-items: center;
|
2023-10-18 05:14:58 -04:00
|
|
|
}
|
2023-10-27 05:06:25 -04:00
|
|
|
|
|
|
|
.chat {
|
|
|
|
position: relative;
|
|
|
|
height: 100%;
|
|
|
|
}
|
2023-11-02 07:18:12 -04:00
|
|
|
|
2023-12-15 04:07:21 -05:00
|
|
|
.review-panel-wrapper {
|
|
|
|
&.rp-state-overview {
|
|
|
|
position: sticky;
|
|
|
|
top: 0;
|
|
|
|
height: 100%;
|
|
|
|
}
|
2023-11-02 07:18:12 -04:00
|
|
|
}
|
2023-10-02 05:35:02 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
.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;
|
2023-11-02 07:36:04 -04:00
|
|
|
background-color: @pdf-bg;
|
|
|
|
overflow-y: hidden;
|
2023-11-13 05:54:43 -05:00
|
|
|
z-index: 0;
|
2023-10-02 05:35:02 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
.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;
|
|
|
|
}
|
|
|
|
|
2023-11-06 08:09:10 -05:00
|
|
|
&.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%;
|
|
|
|
}
|
2023-10-02 05:35:02 -04:00
|
|
|
}
|
2023-11-06 08:09:10 -05:00
|
|
|
|
|
|
|
&:not(.horizontal-resize-handle-enabled) {
|
|
|
|
cursor: default;
|
2023-10-02 05:35:02 -04:00
|
|
|
}
|
2023-11-02 07:36:04 -04:00
|
|
|
|
|
|
|
.synctex-controls {
|
|
|
|
left: -8px;
|
|
|
|
margin: 0;
|
|
|
|
// Ensure that SyncTex controls appear in front of PDF viewer controls and logs pane
|
|
|
|
z-index: 12;
|
|
|
|
}
|
2023-10-02 05:35:02 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
.vertical-resize-handle {
|
|
|
|
height: 6px;
|
|
|
|
background-color: @vertical-resizable-resizer-bg;
|
|
|
|
|
2023-12-15 04:19:42 -05:00
|
|
|
&.vertical-resize-handle-enabled {
|
|
|
|
&:hover {
|
|
|
|
background-color: @vertical-resizable-resizer-hover-bg;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
&:not(.vertical-resize-handle-enabled) {
|
|
|
|
opacity: 0.5;
|
|
|
|
cursor: default;
|
2023-10-02 05:35:02 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
&::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;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2023-11-02 07:36:04 -04:00
|
|
|
.ide-react-editor-sidebar {
|
2023-10-02 05:35:02 -04:00
|
|
|
height: 100%;
|
|
|
|
background-color: @file-tree-bg;
|
|
|
|
color: var(--neutral-20);
|
|
|
|
}
|
|
|
|
|
2023-11-02 07:36:04 -04:00
|
|
|
.ide-react-symbol-palette {
|
2023-10-02 05:35:02 -04:00
|
|
|
height: 100%;
|
|
|
|
background-color: @symbol-palette-bg;
|
|
|
|
color: var(--neutral-20);
|
|
|
|
}
|
2023-10-26 04:57:00 -04:00
|
|
|
|
|
|
|
.ide-react-file-tree-panel {
|
|
|
|
display: flex;
|
2023-12-15 04:19:42 -05:00
|
|
|
flex-direction: column;
|
2023-11-13 05:53:10 -05:00
|
|
|
|
|
|
|
// Prevent the file tree expanding beyond the boundary of the panel
|
|
|
|
.file-tree {
|
|
|
|
width: 100%;
|
|
|
|
}
|
2023-10-26 04:57:00 -04:00
|
|
|
}
|
2023-11-02 07:36:04 -04:00
|
|
|
|
2023-12-05 04:34:21 -05:00
|
|
|
.ide-react-editor-panel {
|
|
|
|
display: flex;
|
|
|
|
flex-direction: column;
|
|
|
|
}
|
|
|
|
|
2023-11-02 07:36:04 -04:00
|
|
|
// 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%;
|
|
|
|
}
|
2023-11-15 06:55:05 -05:00
|
|
|
|
2023-12-05 05:19:00 -05:00
|
|
|
.ide-panel-group-resizing {
|
2023-11-15 06:55:05 -05:00
|
|
|
background-color: white;
|
2023-12-05 05:19:00 -05:00
|
|
|
|
|
|
|
// Hide panel contents while resizing
|
|
|
|
.ide-react-editor-content,
|
|
|
|
.pdf {
|
|
|
|
display: none !important;
|
|
|
|
}
|
2023-11-15 06:55:05 -05:00
|
|
|
}
|