https://kitchenmixerstandimmediately.blogspot.com/2022/06/38-change-axis-text-size-ggplot2.html