Resolve #596: sphinx rtd theme