Files
mediawiki-extensions-Univer…/resources
Volker E f5c4fe1826 Remove unnecessary rules and properties
Active state is already covered with `mw-ui-button`. Color needs to
become darker for better contrast ratio when button is toggled.

Change-Id: If888a862c0b642aaa200e8207f3804f76f05b8b0
2020-11-03 13:56:05 +00:00
..