conf.py: no longer require the rtd theme
Working on fixing problems with multiplication

See test_pair.py for comments