wikimedia/mediawiki-skins-Vector
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git synced 2024-11-12 09:21:11 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-skins-Vector/resources/common
History
Volker E b62f7fa4dd styles: Rename border-tabs to border-bottom-tabs 
And use `@border-width-base` var.

Bug: T313243
Change-Id: Ic5febd54a6f28ef8998f4278589b08c6e5977d9f
2022-07-19 04:24:33 -07:00
..
components styles: Use mediawiki.skin.variables transition-duration vars 2022-07-19 04:19:08 -07:00
images Restyle Vector tabs in modern Vector 2022-06-08 11:26:17 -07:00
common.less Restyle Vector tabs in modern Vector 2022-06-08 11:26:17 -07:00
normalize.less Reorganize LESS files to match ResourceLoader conventions 2021-04-08 15:47:56 +01:00
print.less Use sans-serif for figures 2021-12-07 21:44:21 +00:00
typography.less Restore #siteSub font size 2022-07-08 19:26:03 +00:00
variables.less styles: Rename border-tabs to border-bottom-tabs 2022-07-19 04:24:33 -07:00