diff options
author | GitLab Bot <gitlab-bot@gitlab.com> | 2022-06-16 15:09:26 +0300 |
---|---|---|
committer | GitLab Bot <gitlab-bot@gitlab.com> | 2022-06-16 15:09:26 +0300 |
commit | b019dc959ec16b15fe42a680dbd729542ff61537 (patch) | |
tree | cde5c3d0582bd7542e1e195d83ad7a50079f4e49 /app/assets/stylesheets/page_bundles | |
parent | b7b44de429911864686599ef1643baf525bf75ec (diff) |
Add latest changes from gitlab-org/gitlab@master
Diffstat (limited to 'app/assets/stylesheets/page_bundles')
-rw-r--r-- | app/assets/stylesheets/page_bundles/_ide_theme_overrides.scss | 2 | ||||
-rw-r--r-- | app/assets/stylesheets/page_bundles/ide.scss | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/app/assets/stylesheets/page_bundles/_ide_theme_overrides.scss b/app/assets/stylesheets/page_bundles/_ide_theme_overrides.scss index 25a565ce2ba..b13d7997769 100644 --- a/app/assets/stylesheets/page_bundles/_ide_theme_overrides.scss +++ b/app/assets/stylesheets/page_bundles/_ide_theme_overrides.scss @@ -140,7 +140,7 @@ } hr { - border-color: var(--ide-border-color, darken($gray-normal, 8%)); + border-color: var(--ide-border-color, darken($gray-10, 8%)); } .md h1, diff --git a/app/assets/stylesheets/page_bundles/ide.scss b/app/assets/stylesheets/page_bundles/ide.scss index a4a82fdcef3..10d5ce54573 100644 --- a/app/assets/stylesheets/page_bundles/ide.scss +++ b/app/assets/stylesheets/page_bundles/ide.scss @@ -93,7 +93,7 @@ $ide-commit-header-height: 48px; display: flex; align-items: center; padding: $grid-size $gl-padding; - background-color: var(--ide-background-hover, $gray-normal); + background-color: var(--ide-background-hover, $gray-10); border-right: 1px solid var(--ide-border-color, $white-dark); border-bottom: 1px solid var(--ide-border-color, $white-dark); @@ -135,7 +135,7 @@ $ide-commit-header-height: 48px; box-shadow: none !important; font-weight: normal !important; - background-color: var(--ide-background-hover, $gray-normal); + background-color: var(--ide-background-hover, $gray-10); border-right: 1px solid var(--ide-border-color, $white-dark); border-bottom: 1px solid var(--ide-border-color, $white-dark); |