mediawiki-skins-Citizen/skinStyles
2024-07-05 16:52:54 -04:00
..
codex feat(core): use px for border-radius 2024-07-05 13:24:31 -04:00
extensions feat(SearchDigest): add styles for Extension:SearchDigest 2024-07-05 16:52:54 -04:00
jquery feat(core): use px for border-radius 2024-07-05 13:24:31 -04:00
jquery.spinner feat(core): convert some CSS variables into Codex equivalent 2024-06-30 01:04:30 -04:00
mediawiki feat(core): use px for border-radius 2024-07-05 13:24:31 -04:00
ooui feat(core): use px for border-radius 2024-07-05 13:24:31 -04:00