diff options
author | Mike Greiling <mike@pixelcog.com> | 2017-09-01 16:48:31 -0500 |
---|---|---|
committer | Jose Ivan Vargas <jvargas@gitlab.com> | 2017-09-05 13:12:43 -0500 |
commit | e061a644f8c8dba1d5176f7b06e4ed465c075279 (patch) | |
tree | 0b3d1a2e9900798ffdbf9641502093ca04990d41 | |
parent | 2f2c0d4bcd5dea6e9dc9376721524ef71e0bc9d3 (diff) | |
download | gitlab-ce-remove-unnecessary-row-grouping.tar.gz |
restore missing header font sizeremove-unnecessary-row-grouping
-rw-r--r-- | app/assets/stylesheets/pages/environments.scss | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/app/assets/stylesheets/pages/environments.scss b/app/assets/stylesheets/pages/environments.scss index fff6e19a60e..9362d80d4e6 100644 --- a/app/assets/stylesheets/pages/environments.scss +++ b/app/assets/stylesheets/pages/environments.scss @@ -238,6 +238,10 @@ min-width: 450px; padding: $gl-padding / 2; + h5 { + font-size: 16px; + } + @media (max-width: $screen-sm-max) { min-width: 100%; } |