diff options
author | Luke Bennett <lukeeeebennettplus@gmail.com> | 2018-07-25 14:05:40 +0300 |
---|---|---|
committer | Luke Bennett <lukeeeebennettplus@gmail.com> | 2018-07-25 14:05:40 +0300 |
commit | cfefab3259e41669d4326f48f79a9d168f94249f (patch) | |
tree | 1af271ae553ae1d66cc7af0b219020c64504f7f2 /app/assets/stylesheets/pages/settings.scss | |
parent | e36f49fb4f01cafecc9ddc6934de33d51a97f135 (diff) |
port
Diffstat (limited to 'app/assets/stylesheets/pages/settings.scss')
-rw-r--r-- | app/assets/stylesheets/pages/settings.scss | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/app/assets/stylesheets/pages/settings.scss b/app/assets/stylesheets/pages/settings.scss index 839ac5ba59b..03243581abf 100644 --- a/app/assets/stylesheets/pages/settings.scss +++ b/app/assets/stylesheets/pages/settings.scss @@ -301,3 +301,13 @@ margin-bottom: 0; } } + +.mirror-error-badge { + background-color: $error-bg; + border-radius: $border-radius-default; + color: $white-light; +} + +.push-pull-table { + margin-top: 1em; +} |