Hmm, can you tell me which theme is supposed to be picked for older IE vs. which theme is supposed to be picked for IE11?