Merge branch 'ce-5276-1-remove-build-page-from-ide-terminal-element' into 'master'

[CE of Part 1] 5276 Remove 'build-page' from 'ide-terminal' element

See merge request gitlab-org/gitlab-ce!29331

app/assets/stylesheets/framework/mixins.scss

@@ -218,16 +218,22 @@
   }
 }
 
-@mixin build-trace-top-bar($height) {
+// Used in EE for Web Terminal
+@mixin build-trace-bar($height) {
   height: $height;
   min-height: $height;
   background: $gray-light;
   border: 1px solid $border-color;
   color: $gl-text-color;
+  padding: $grid-size;
+}
+
+@mixin build-trace-top-bar($height) {
+  @include build-trace-bar($height);
+
   position: -webkit-sticky;
   position: sticky;
   top: $header-height;
-  padding: $grid-size;
 
   .with-performance-bar & {
     top: $header-height + $performance-bar-height;

app/assets/stylesheets/page_bundles/_ide_mixins.scss

@@ -2,17 +2,17 @@
   display: flex;
   flex-direction: column;
   height: 100%;
-  margin-top: -$grid-size;
-  margin-bottom: -$grid-size;
 
-  &.build-page .top-bar {
+  .top-bar {
+    @include build-trace-bar(35px);
+
     top: 0;
-    height: auto;
     font-size: 12px;
     border-top-right-radius: $border-radius-default;
-  }
-
-  .top-bar {
     margin-left: -$gl-padding;
+
+    .controllers {
+      @include build-controllers(15px, center, false, 0, inline, 0);
+    }
   }
 }