/* This is a color theme. */