b4c3ab6726
Make shell_draw_box_pointer() use CSS colors, and set the app well menu arrow width based on its own CSS rather than its parent's. https://bugzilla.gnome.org/show_bug.cgi?id=614516