modify theme to work with Sphinx 1.2.1