https://promodartbackboard.blogspot.com/2022/10/43-change-axis-size-ggplot2.html