Forked gnome-shell theme frieze with some tweaking of gnome-shell's js/