rtd.io uses a severely outdated theme version with several known bugs by
default. Pin to a never version to get the bugfixes.