Use documentElement in focus selector for IE's sake. Fixes jQuery #13378.