More tweaking of font size in probability tree diagrams.