Merged
requested to merge 42-increase-margin-under-menu-blocks-in-sidebars-and-decrease-h2-size-in-blocks-under-sidebars into rc-v2.5.0
GitLab Runners cleaning campaign ongoing (ETA 2nd October 2023). Check https://cern.ch/otg0078219 for further information.