xml_button_icon: use gtk-stock of puppy-stock icons for normal-size-icons