Small aesthetic patch affecting GtkButtons. Changes the indicator that the
button is in focus from a solid black rectangle around the button to a dark
grey dashed rectangle one pixel inside the frame in order to remove the
aliasing effect caused by the solid black box.