My GNOME Shell theme tweaks