Commit de4b2c6a authored by Paul Slaughter's avatar Paul Slaughter

Remove 'build-page' from 'ide-terminal' element

CE Port

**Why?**
The styles applied to `.build-page .top-bar` were mostly
unecessary for the IDE terminal. The static positioning might
have also been causing a strange line to show up in the terminal.
parent f08abfcc
...@@ -218,16 +218,22 @@ ...@@ -218,16 +218,22 @@
} }
} }
@mixin build-trace-top-bar($height) { // Used in EE for Web Terminal
@mixin build-trace-bar($height) {
height: $height; height: $height;
min-height: $height; min-height: $height;
background: $gray-light; background: $gray-light;
border: 1px solid $border-color; border: 1px solid $border-color;
color: $gl-text-color; color: $gl-text-color;
padding: $grid-size;
}
@mixin build-trace-top-bar($height) {
@include build-trace-bar($height);
position: -webkit-sticky; position: -webkit-sticky;
position: sticky; position: sticky;
top: $header-height; top: $header-height;
padding: $grid-size;
.with-performance-bar & { .with-performance-bar & {
top: $header-height + $performance-bar-height; top: $header-height + $performance-bar-height;
......
...@@ -2,17 +2,17 @@ ...@@ -2,17 +2,17 @@
display: flex; display: flex;
flex-direction: column; flex-direction: column;
height: 100%; height: 100%;
margin-top: -$grid-size;
margin-bottom: -$grid-size;
&.build-page .top-bar { .top-bar {
@include build-trace-bar(35px);
top: 0; top: 0;
height: auto;
font-size: 12px; font-size: 12px;
border-top-right-radius: $border-radius-default; border-top-right-radius: $border-radius-default;
}
.top-bar {
margin-left: -$gl-padding; margin-left: -$gl-padding;
.controllers {
@include build-controllers(15px, center, false, 0, inline, 0);
}
} }
} }
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment