Change console.debug to console.log for IE. Change some styling of the
default and knb theme lists.