Adapt stylesheets to recent changes in jQuery UI 1.9

Thomas Bruederli

2012-11-21 5e1775691ce503521745f6380cadb7a295bd681d

1
2
3
4
5
# this is a comment
# and the second line
 
require ["variables"];
set "b" "c";