jquery/jquery-ui — pull request #1384 by jaspermdegroot (2014-11-07 09:58:32+00:00)
Title: Theme

I wasn't sure if switching to shorthand for hex color codes would cause problems with the ThemeRoller so I didn't follow our new CSS style guide.