Improves on r79582 - no need to delete the rules, just merge them! Do you really...
authorTrevor Parscal <tparscal@users.mediawiki.org>
Thu, 6 Jan 2011 22:42:30 +0000 (22:42 +0000)
committerTrevor Parscal <tparscal@users.mediawiki.org>
Thu, 6 Jan 2011 22:42:30 +0000 (22:42 +0000)
commit27d5500039ac805b42d97c231cda8ec26c2d0372
tree212f2850ff1537818ad2a253967e6fcc14ec09ff
parent669598b803d71963dd50779ee9bbb633110d572d
Improves on r79582 - no need to delete the rules, just merge them! Do you really want to second-guess why jQuery UI put them there?
resources/jquery.ui/themes/vector/jquery.ui.theme.css