Format jquery.ui.button.css so it's easier to work with
authorisarra <zhorishna@gmail.com>
Sun, 10 Feb 2013 21:09:17 +0000 (13:09 -0800)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 10 Mar 2013 21:19:38 +0000 (21:19 +0000)
commitea9de1f9f52c75f5d696ed644f4e4e35ba28222e
tree535859d39a1eeaaa2addac7f59ee8b572ecb237b
parent0664a9b7c9c1ee5836ee2a66486d1479de1f8967
Format jquery.ui.button.css so it's easier to work with

Change-Id: Ifdb01057f80bae529d15d357cd4b28d0d14b82f4
resources/jquery.ui/themes/default/jquery.ui.button.css
resources/jquery.ui/themes/vector/jquery.ui.button.css