/**
 * Customizable colors belong in this CSS.
 */