mediawiki-extensions-Echo/modules/echo.variables.less
Volker E 6d2e560c1e Introduce stylelint
Introducing stylelint with configuration rules compliant to
Wikimedia CSS Coding Standards 'stylelint-config-wikimedia', nullifying
some for now and making majority pass.

Change-Id: I2c4acee41c9b56d9b00e2a2c5b7ab0ab5de454ce
2016-10-04 18:15:02 -07:00

35 lines
742 B
Plaintext

@badge-padding: 0.12em;
@badge-icon-size: 1.1em;
@badge-distance-adjustment: 1em;
@notification-background-unseen: #dce8ff;
@notification-background-unread: #fff;
@notification-background-read: #f1f1f1;
@badge-counter-background-seen: #71777d;
@badge-counter-background-unseen-alert: #c33;
@badge-counter-background-unseen-message: #36c;
@notification-text-color: #111;
@notification-body-color: #777;
@bundle-group-padding: 0.7em;
@notification-popup-width: 500px;
@opacity-low: 0.5;
@opacity-mid: 0.8;
@specialpage-separation-unit: 0.7em;
@specialpage-sidebar-width: 20em;
@specialpage-hd-width: 982px;
@specialpage-width: 1000px;
@grey-light: #777;
@grey-medium: #555;
@grey-dark: #333;
@grey-darkest: #000;
@border-color: #ccc;