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 /app/assets/stylesheets | |
parent | 9b718a761f1601394c3a1e0a15c7855d7eec6ac3 (diff) | |
download | gitlab-ce-fb9215e55b5c74fd5915fca7ce6dfbf63a871856.tar.gz |
Improved padding of top bar in IDE job trace panelide-job-top-bar-ui-polish
Closes #48059
Diffstat (limited to 'app/assets/stylesheets')
-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; } |