diff options
author | Phil Hughes <me@iamphill.com> | 2018-08-15 12:09:00 +0100 |
---|---|---|
committer | Phil Hughes <me@iamphill.com> | 2018-08-15 12:09:00 +0100 |
commit | fb9215e55b5c74fd5915fca7ce6dfbf63a871856 (patch) | |
tree | 917adf8ea30e7ce1f31e92c3800aa4c0adf0acf7 | |
parent | 9b718a761f1601394c3a1e0a15c7855d7eec6ac3 (diff) | |
download | gitlab-ce-ide-job-top-bar-ui-polish.tar.gz |
Improved padding of top bar in IDE job trace panelide-job-top-bar-ui-polish
Closes #48059
-rw-r--r-- | app/assets/stylesheets/page_bundles/ide.scss | 1 | ||||
-rw-r--r-- | changelogs/unreleased/ide-job-top-bar-ui-polish.yml | 5 |
2 files changed, 6 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; } diff --git a/changelogs/unreleased/ide-job-top-bar-ui-polish.yml b/changelogs/unreleased/ide-job-top-bar-ui-polish.yml new file mode 100644 index 00000000000..d917c14e5f8 --- /dev/null +++ b/changelogs/unreleased/ide-job-top-bar-ui-polish.yml @@ -0,0 +1,5 @@ +--- +title: Improved styling of top bar in IDE job trace pane +merge_request: +author: +type: changed |