https://pens0348.blogspot.com/2022/08/43-change-axis-size-ggplot2.html