I just noticed that Google quietly tweaked the look of the buttons on Gmail. The new look resembles Cocoa’s segmented controls, and is definitely a welcome change on my part.