b4cf07d05f
While the existing dot doesn't necessarily need padding, we are about to (sometimes) showing a "proper" icon there. https://gitlab.gnome.org/GNOME/gnome-shell/issues/239