Remove need for htmlpatch.csh

According to https://docs.readthedocs.io/en/stable/guides/adding-custom-css.html, you can customize the CSS in Sphinx. This is most of what htmlpatch.csh does.

The pixel should be added to the index.rst files.

With these changes, we should not need the post generation editing anymore, which is done by htmlpatch.csh.