% -*- slang -*- 
% This color map was derived from GMT_jet.cpt
% Copyright (c) 1991-2004, P. Wessel & W. H. F. Smith
$1 = [0x00,0x1F,0x00,0x00, 0x1F,0x5F,0x00,0x00, 0x5F,0x9F,0xFF,0xFF, 0x9F,0xDF,0xFF,0xFF, 0xDF,0xFF,0xFF,0x7F];
$2 = [0x00,0x1F,0x00,0x00, 0x1F,0x5F,0x00,0xFF, 0x5F,0x9F,0xFF,0xFF, 0x9F,0xDF,0xFF,0x00, 0xDF,0xFF,0x00,0x00];
$3 = [0x00,0x1F,0x7F,0xFF, 0x1F,0x5F,0xFF,0xFF, 0x5F,0x9F,0xFF,0x7F, 0x9F,0xDF,0x00,0x00, 0xDF,0xFF,0x00,0x00];
png_add_colormap ("jet", png_build_colormap (__tmp($1),__tmp($2),__tmp($3)));