use the gnome dark theme