mediawiki-extensions-Echo/modules/styles/mw.echo.ui.PageFilterWidget.less at 885ff5ec9c1cb7f8de885fcbbb1d3bc3b256cf6a - wikimedia/mediawiki-extensions-Echo - fanwikis.org Git Server

wikimedia/mediawiki-extensions-Echo

mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-12-28 15:43:03 +00:00

Volker E 7f6f792a3a styles: Replace 'mediawiki.ui/variables' call with skin variables

Replacing 'mediawiki.ui/variables.less' `@import`
with new skin-aware 'mediawiki.skin.variables.less' standard.
Also replacing and removing scattered WikimediaUI Base v0.15.0 variables
with new skin variables.

Also
- replacing several static values with new Codex design tokens featuring
  skin variables for following properties:
  - background-color
  - color
  - border-width, border-style, border-color and border shorthand
  - border-radius
  - box-shadow colors
  - outline-width, outline-style, outline-color and outline shorthand
  - opacity
- replacing equal-value Echo variables with new skin variables
- replacing `opacity: 0` with `opacity: 1px solid transparent`, which
  improves accessibility in Windows High Contrast mode

Bump required MediaWiki core version to >= v1.41.0.

Bug: T332541
Co-Authored-by: Volker E. <volker.e@wikimedia.org>
Depends-On: I04f9e48a1cf9dee915cf51e1e12b17ff0a595a06
Change-Id: If3863f07d7c3a8b58808fb03401c1060a92bc2ab

2023-04-04 01:26:11 -07:00

12 lines

215 B

Plaintext

Raw Blame History

 @import 'mediawiki.skin.variables.less';
 @import '../echo.variables.less';
 .mw-echo-ui-pageFilterWidget {
 	margin-top: 2 * @specialpage-separation-unit;
 	&-title {
 		padding-left: 0.5em;
 		font-weight: bold;
 	}
 }