mediawiki.ui: Bring checkbox and radio on par with WikimediaUI design
authorVolker E <volker.e@wikimedia.org>
Mon, 14 Aug 2017 22:30:23 +0000 (15:30 -0700)
committerVolker E <volker.e@wikimedia.org>
Tue, 15 Aug 2017 21:33:04 +0000 (14:33 -0700)
commite491f22d8b1ada180b3c33f13227f8795d68ce0c
treedf37a486edf5b730f34ac4af2d878be67d19a2c4
parentb5ddc3a4b4d82023827681c1cc2771fc859ac01b
mediawiki.ui: Bring checkbox and radio on par with WikimediaUI design

Bringing checkbox and radio on par with WikimediaUI design templates,
also slightly enhancing accessibility by using colors of new palette.
Width & height is taken from current OOUI size, based on 14px Vector base
font-size.
Adding several similar variables to variables.less, which will be replaced
by WikimediaUI Base vars in future.
Also:
- removing necessity for images for radio checked states
- replacing `margin` with `padding` between widget and label in order to
  have `cursor: pointer` on full element

Bug: T148265
Change-Id: I68848d48ea45c67124ac75be58748b4e9fb3085d
resources/src/mediawiki.less/mediawiki.ui/variables.less
resources/src/mediawiki.ui/components/checkbox.less
resources/src/mediawiki.ui/components/images/checkbox-checked.png [new file with mode: 0644]
resources/src/mediawiki.ui/components/images/checkbox-checked.svg [new file with mode: 0644]
resources/src/mediawiki.ui/components/images/checked_disabled.png [deleted file]
resources/src/mediawiki.ui/components/images/checked_disabled.svg [deleted file]
resources/src/mediawiki.ui/components/images/radio_checked.png [deleted file]
resources/src/mediawiki.ui/components/images/radio_checked.svg [deleted file]
resources/src/mediawiki.ui/components/images/radio_disabled.png [deleted file]
resources/src/mediawiki.ui/components/images/radio_disabled.svg [deleted file]
resources/src/mediawiki.ui/components/radio.less