Simple docs change to get the new readthedocs theme hotness.