Use readthedocs theme locally for development