Also, the disabled label looks funny; shouldn't the text be light gray
(#999999), not blue (even though the Ocean blue #b8cfe5 used for the
disabled text label (secondary2) corresponds to the old secondary2,
which was #999999)... I think we did; see
http://ucsd.sfbay/projects/java/j2se/1.5.0/client/JLF/visual-design/
button-concepts.html ; here we see that disabled buttons have light
gray text for their labels. (I've attached an image; The disabled text
is actually a little lighter, like a5a5a5, but 999999 is very similar
to that gray.)