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