Fixed header size for readthedocs.org.