jQuery UI 1.11.4 dans SPIP

Mise à jour de css/ui/jquery-ui.css qui n'avait pas bougé depuis un moment, à voir s'il est nécessaire de garder ce fichier dans le plugin...