autodocumentation for assertion.py, changing sphinx theme