Following Julia's doc conf.py; add html_theme etc