use default theme for documentation (for readthedoc)