I am making some figures in matplotlib. Different elements of the figure, such as titles, legends etc have different font sizes and I want to change these sizes proportional
