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