My personal theme hacks for a GNOME3 working environment