graphics_setcolor
graphics_setcolor, /* setcolor */
void graphics_setcolor (int normal_color, int highlight_color);