diff options
| author | Phil Hughes <me@iamphill.com> | 2018-08-15 14:09:00 +0300 |
|---|---|---|
| committer | Phil Hughes <me@iamphill.com> | 2018-08-15 14:09:00 +0300 |
| commit | fb9215e55b5c74fd5915fca7ce6dfbf63a871856 (patch) | |
| tree | 917adf8ea30e7ce1f31e92c3800aa4c0adf0acf7 /app/assets/stylesheets/page_bundles | |
| parent | 9b718a761f1601394c3a1e0a15c7855d7eec6ac3 (diff) | |
Improved padding of top bar in IDE job trace panel
Closes #48059
Diffstat (limited to 'app/assets/stylesheets/page_bundles')
| -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; } |