%%% file proof-spec-xcolor-sty.mp input proof-mpcolornames specname := "xcolor-sty"; defaultcolormodel := 5;% RGB proof(rgb_red); proof(rgb_green); proof(rgb_blue); proof(rgb_brown); proof(rgb_lime); proof(rgb_orange); proof(rgb_pink); proof(rgb_purple); proof(rgb_teal); proof(rgb_violet); proof(rgb_cyan); proof(rgb_magenta); proof(rgb_yellow); proof(rgb_olive); proof(rgb_black); proof(rgb_darkgray); proof(rgb_gray); proof(rgb_lightgray); proof(rgb_white); defaultcolormodel := 7;% CMYK proof(cmyk_red); proof(cmyk_green); proof(cmyk_blue); proof(cmyk_brown); proof(cmyk_lime); proof(cmyk_orange); proof(cmyk_pink); proof(cmyk_purple); proof(cmyk_teal); proof(cmyk_violet); proof(cmyk_cyan); proof(cmyk_magenta); proof(cmyk_yellow); proof(cmyk_olive); proof(cmyk_black); proof(cmyk_darkgray); proof(cmyk_gray); proof(cmyk_lightgray); proof(cmyk_white); defaultcolormodel := 3;% grey scale proof(grey_red); proof(grey_green); proof(grey_blue); proof(grey_brown); proof(grey_lime); proof(grey_orange); proof(grey_pink); proof(grey_purple); proof(grey_teal); proof(grey_violet); proof(grey_cyan); proof(grey_magenta); proof(grey_yellow); proof(grey_olive); proof(grey_black); proof(grey_darkgray); proof(grey_gray); proof(grey_lightgray); proof(grey_white); end