Use the default theme for documentation.

This should let RTD use its own style, which I prefer.