wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-25 23:05:35 +00:00
Code Issues Packages Projects Releases Wiki Activity
8833 commits 29 branches 0 tags 191 MiB
Commit graph

2 commits

Author SHA1 Message Date
Bartosz Dziewoński 2c325fa4f2 ve.ui.MWFormatTool: Update heading size CSS for new OOUI version 
* Use .oo-ui-tool-title-text selector rather than .oo-ui-tool-title
  to avoid styling accelerator keys.
* Divide all sizes by 0.8, as we no longer need to match the font-size
  rule on .oo-ui-tool-title.
* Add CSS for heading1 (which differs between Vector and core VE)
  and heading2 (because it looks silly if it's missing).

Change-Id: I12226f0a674037f904149cc10893f5c154767bfc
 2014-10-19 21:13:21 +02:00
Trevor Parscal b00999c7a1 Style the FormatTool to be more like Vector's new look 
But only for Vector; the VE-core default is more appropriate for Monobook.

Bug: 63540
Change-Id: I32e8da9dd071d0a9ba7cae58960a504010e1c4a2
 2014-04-30 17:40:44 -07:00