Comment out Sphinx theme; we have our own template