Button Face Color
button face color nn
where nn is the number of the color to be used by default for the face of a push button.
nn = numeric entry 1 to 16
Note: These colors refer to window control panel display settings. If you are using a control panel color in Windows, it maps to this color on a UNIX platform.