Merge branch 'ide-job-top-bar-ui-polish' into 'master'

Improved padding of top bar in IDE job trace panel

Closes #48059

See merge request gitlab-org/gitlab-ce!21222
This commit is contained in:
Filipa Lacerda 2018-08-16 10:26:49 +00:00
commit a7045bd3dc
2 changed files with 6 additions and 0 deletions

View File

@ -1293,6 +1293,7 @@ $ide-tree-text-start: $ide-activity-bar-width + $ide-tree-padding;
&.build-page .top-bar {
top: 0;
height: auto;
font-size: 12px;
border-top-right-radius: $border-radius-default;
}

View File

@ -0,0 +1,5 @@
---
title: Improved styling of top bar in IDE job trace pane
merge_request:
author:
type: changed