added fILL-contrast jqueryUI theme, and made the theme-chooser buttons better reflect the themes to be chosen