This makes it easier to go through the documentation and it pushes readthedocs's advertising further apart from the content.