View file File name : ocean.map Content :% -*- slang -*- % This color map was derived from GMT_ocean.cpt % Copyright (c) 1991-2004, P. Wessel & W. H. F. Smith $1 = [0x00,0x1F,0x00,0x00, 0x1F,0x3F,0x00,0x00, 0x3F,0x5F,0x00,0x00, 0x5F,0x7F,0x00,0x00, 0x7F,0x9F,0x00,0x56, 0x9F,0xBF,0x56,0xAC, 0xBF,0xDF,0xAC,0xD3, 0xDF,0xFF,0xD3,0xFA]; $2 = [0x00,0x1F,0x00,0x05, 0x1F,0x3F,0x05,0x0A, 0x3F,0x5F,0x0A,0x50, 0x5F,0x7F,0x50,0x96, 0x7F,0x9F,0x96,0xC5, 0x9F,0xBF,0xC5,0xF5, 0xBF,0xDF,0xF5,0xFA, 0xDF,0xFF,0xFA,0xFF]; $3 = [0x00,0x1F,0x00,0x19, 0x1F,0x3F,0x19,0x32, 0x3F,0x5F,0x32,0x7D, 0x5F,0x7F,0x7D,0xC8, 0x7F,0x9F,0xC8,0xB8, 0x9F,0xBF,0xB8,0xA8, 0xBF,0xDF,0xA8,0xD3, 0xDF,0xFF,0xD3,0xFF]; png_add_colormap ("ocean", png_build_colormap (__tmp($1),__tmp($2),__tmp($3)));