![Florian Müllner](/assets/img/avatar_default.png)
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
GNOME Shell Sass
GNOME Shell Sass is a project intended to allow the sharing of the theme sources in sass between gnome-shell and other projects like gnome-shell-extensions.
Any changes should be done in the GNOME Shell subtree and not the stand-alone gnome-shell-sass repository. They will then be synchronized periodically before releases.
License
GNOME Shell Sass is distributed under the terms of the GNU General Public License, version 2 or later. See the COPYING file for details.