empty html theme for readthedocs fix.