Line data    Source code

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