diff options
| author | Volker E <volker.e@wikimedia.org> | 2024-01-30 23:30:54 +0100 |
|---|---|---|
| committer | Volker E <volker.e@wikimedia.org> | 2024-01-30 23:30:54 +0100 |
| commit | bb566555b353e3734d9563007c6ba951f7ca87c6 (patch) | |
| tree | c2d06aa1fbdc81eb4e2a52715c336185ca867d5a | |
| parent | 8db391e4fc9e550e0a43415b49234e794af49dcd (diff) | |
| download | mediawikicore-bb566555b353e3734d9563007c6ba951f7ca87c6.tar.gz mediawikicore-bb566555b353e3734d9563007c6ba951f7ca87c6.zip | |
mediawiki.less: Amend neutral `@border-color-muted` value
Following-up to Idcfdee458301, the neutral colors should not feature
Wikimedia User-Interface colors as they are fallbacks for custom
MediaWiki skins outside of Wikimedia.
Change-Id: I4cbf2c6754f1ee75c7b976651c3234d3202af8d2
| -rw-r--r-- | resources/src/mediawiki.less/mediawiki.skin.defaults.less | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/resources/src/mediawiki.less/mediawiki.skin.defaults.less b/resources/src/mediawiki.less/mediawiki.skin.defaults.less index 4e60a957d585..aa6760d22fb4 100644 --- a/resources/src/mediawiki.less/mediawiki.skin.defaults.less +++ b/resources/src/mediawiki.less/mediawiki.skin.defaults.less @@ -235,7 +235,7 @@ @border-color-base: #aaa; @border-color-interactive: #767676; @border-color-subtle: #ccc; -@border-color-muted: #eaecf0; +@border-color-muted: #eee; @border-color-disabled: #ccc; @border-color-inverted: #fff; @border-color-progressive: #0645ad; |