/* incluido en jquery-ui.css - jQuery UI 1.13.3 */