diff options
| author | Filipa Lacerda <filipa@gitlab.com> | 2018-08-16 10:26:49 +0000 |
|---|---|---|
| committer | Filipa Lacerda <filipa@gitlab.com> | 2018-08-16 10:26:49 +0000 |
| commit | a7045bd3dc3380f9f4d0a6230aa98ddd48152503 (patch) | |
| tree | d8299eb1da1e71e80409157f219dee58db776617 /app | |
| parent | 58652abf9442aa61284c1511fe60f6e2e947c049 (diff) | |
| parent | fb9215e55b5c74fd5915fca7ce6dfbf63a871856 (diff) | |
| download | gitlab-ce-a7045bd3dc3380f9f4d0a6230aa98ddd48152503.tar.gz | |
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
Diffstat (limited to 'app')
| -rw-r--r-- | app/assets/stylesheets/page_bundles/ide.scss | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/app/assets/stylesheets/page_bundles/ide.scss b/app/assets/stylesheets/page_bundles/ide.scss index af91497d0ea..eac1345742d 100644 --- a/app/assets/stylesheets/page_bundles/ide.scss +++ b/app/assets/stylesheets/page_bundles/ide.scss @@ -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; } |