html and doctrees made in doc directory
Switched to agogo theme