    class
    	EV_STOCK_COLORS

    General
    	cluster: interface
    	description: "Facilities for accessing standardized colors."
    	keywords: "color, default"

    Ancestors
    	ANY

    Queries
    	All_colors: LINKED_LIST [EV_COLOR]
    	Black: EV_COLOR
    	Blue: EV_COLOR
    	Color_3d_face: EV_COLOR
    	Color_3d_highlight: EV_COLOR
    	Color_3d_shadow: EV_COLOR
    	Color_dialog: EV_COLOR
    	Color_read_only: EV_COLOR
    	Color_read_write: EV_COLOR
    	Cyan: EV_COLOR
    	Dark_blue: EV_COLOR
    	Dark_cyan: EV_COLOR
    	Dark_gray: EV_COLOR
    	Dark_green: EV_COLOR
    	Dark_grey: EV_COLOR
    	Dark_magenta: EV_COLOR
    	Dark_red: EV_COLOR
    	Dark_yellow: EV_COLOR
    	Default_background_color: EV_COLOR
    	Default_foreground_color: EV_COLOR
    	Gray: EV_COLOR
    	Green: EV_COLOR
    	Grey: EV_COLOR
    	Magenta: EV_COLOR
    	Red: EV_COLOR
    	White: EV_COLOR
    	Yellow: EV_COLOR

    Constraints
    	white not void
    	black not void
    	grey not void
    	gray not void
    	dark grey not void
    	dark gray not void
    	blue not void
    	dark blue not void
    	cyan not void
    	dark cyan not void
    	green not void
    	dark green not void
    	yellow not void
    	dark yellow not void
    	red not void
    	dark red not void
    	magenta not void
    	dark magenta not void
    	color dialog not void
    	color read only not void
    	color read write not void
    	default background color not void
    	default foreground color not void
    	all colors not void