* This is still broken. * Rename sphinx_rtd_theme so it doesn't pickup locally installed ones * Add a hack to theme.css to get around inliner bug. * Some unrelated fixups in common/waf.py Unfortunatly several dozen fixes got merged into this.
Needed to switch due to increasing complexity.
I'll probably move to a more pythonic way of doing conf.py since this is getting too complicated.