refine readthedocs theme, make css readable for easy editing