wikimedia/mediawiki-skins-Vector
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git synced 2024-11-15 19:59:35 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-skins-Vector/resources/skins.vector.styles
History
jenkins-bot 35a616368b Merge "Add styles for new heading HTML"
2023-11-28 22:42:11 +00:00
..
components Merge "Fix misc client pref bugs" 2023-11-27 18:07:10 +00:00
images Update theme icon for client preferences in user links 2023-11-24 15:01:35 +00:00
layouts Make client prefs fully pinnable 2023-11-22 14:39:28 -06:00
CSSCustomProperties.less Implement new font-sizes for custom front-size preference 2023-11-24 15:23:56 +00:00
mixins.less Update theme icon for client preferences in user links 2023-11-24 15:01:35 +00:00
normalize.less Copy common styles into vector 2023-10-05 13:28:16 -05:00
print.less Add styles for new heading HTML 2023-11-17 20:36:56 +00:00
skin.less Make client prefs fully pinnable 2023-11-22 14:39:28 -06:00
typography.less Merge "Add styles for new heading HTML" 2023-11-28 22:42:11 +00:00
variables.less Remove trident-hack font-size from Vector 2023-10-27 14:03:14 +00:00