<!-- The height of the divider between the individual notifications when the notification wants it to be increased. This is currently the case for notification groups -->
<!-- The height of the divider between the individual notifications when the notification wants it to be increased. This is currently the case for notification groups -->