What has been agreed in the Greece bailout?

Eurozone leaders have agreed to offer Greece a third bailout, after marathon talks in Brussels.

European Commission chief Jean-Claude Juncker said the risk of Greece leaving the eurozone had been averted, but "there are no winners and no losers."

But, what exactly has been agreed? The BBC's Andy Verity takes a look at the details.