Switch to a slightly less ugly Sphinx theme.