Last modified: 2009-09-03 18:12:20 UTC
In wikieditor.css you have: .ui-widget { font-size: 13px !important; } This may not play predictiably well with other componets using the jquery-ui themeing system? a) is this the the best place for this? b) could it target the toolbar stuff specifically? Even if we agree all ui-widgets should be font-size 13 on our site things like !important on a base j-query.ui rule make it tricky to override if necessary.
This was clearly not the best way to do this - it's been fixed by providing a complete jquery-ui theme call vector which matches vector. We need to create one for monobook as well and do some smart switching. But yeah, this has been removed already.