sphinx and readthedocs theme, for the test