/*
  cpt-city: jjg/haxbyish/hx-080-100 (cpt)

  Variants on the ever-popular gradient by W. F. Haxby, the name
  indicates the percentage saturation and value compared to the
  original (which can be found in the GMT collection)

  author: J.J. Green
  copyright: GPLv2
  year: 2004
  url: https://phillips.shef.ac.uk/pub/cpt-city/jjg/haxbyish
*/
linear-gradient(
  0deg,
  rgb( 31,  23, 120)   0.000%,
  rgb( 31,  23, 120)   3.125%,
  rgb( 61,  29, 150)   3.125%,
  rgb( 61,  29, 150)   6.250%,
  rgb( 50,  38, 175)   6.250%,
  rgb( 50,  38, 175)   9.375%,
  rgb( 39,  47, 200)   9.375%,
  rgb( 39,  47, 200)  12.500%,
  rgb( 42,  62, 212)  12.500%,
  rgb( 42,  62, 212)  15.625%,
  rgb( 44,  76, 224)  15.625%,
  rgb( 44,  76, 224)  18.750%,
  rgb( 68, 129, 240)  18.750%,
  rgb( 68, 129, 240)  21.875%,
  rgb( 59, 152, 248)  21.875%,
  rgb( 59, 152, 248)  25.000%,
  rgb( 70, 191, 255)  25.000%,
  rgb( 70, 191, 255)  28.125%,
  rgb( 90, 203, 255)  28.125%,
  rgb( 90, 203, 255)  31.250%,
  rgb(105, 212, 255)  31.250%,
  rgb(105, 212, 255)  34.375%,
  rgb(125, 228, 240)  34.375%,
  rgb(125, 228, 240)  37.500%,
  rgb(131, 235, 227)  37.500%,
  rgb(131, 235, 227)  40.625%,
  rgb(146, 235, 207)  40.625%,
  rgb(146, 235, 207)  43.750%,
  rgb(157, 236, 186)  43.750%,
  rgb(157, 236, 186)  46.875%,
  rgb(186, 245, 183)  46.875%,
  rgb(186, 245, 183)  50.000%,
  rgb(215, 255, 180)  50.000%,
  rgb(215, 255, 180)  53.125%,
  rgb(227, 245, 161)  53.125%,
  rgb(227, 245, 161)  56.250%,
  rgb(240, 237, 144)  56.250%,
  rgb(240, 237, 144)  59.375%,
  rgb(247, 221, 132)  59.375%,
  rgb(247, 221, 132)  62.500%,
  rgb(255, 202, 120)  62.500%,
  rgb(255, 202, 120)  65.625%,
  rgb(255, 179, 106)  65.625%,
  rgb(255, 179, 106)  68.750%,
  rgb(244, 142, 108)  68.750%,
  rgb(244, 142, 108)  71.875%,
  rgb(238, 111, 109)  71.875%,
  rgb(238, 111, 109)  75.000%,
  rgb(255, 122, 122)  75.000%,
  rgb(255, 122, 122)  78.125%,
  rgb(255, 150, 150)  78.125%,
  rgb(255, 150, 150)  81.250%,
  rgb(255, 177, 177)  81.250%,
  rgb(255, 177, 177)  84.375%,
  rgb(245, 192, 188)  84.375%,
  rgb(245, 192, 188)  87.500%,
  rgb(255, 208, 208)  87.500%,
  rgb(255, 208, 208)  90.625%,
  rgb(255, 223, 223)  90.625%,
  rgb(255, 223, 223)  93.750%,
  rgb(255, 239, 239)  93.750%,
  rgb(255, 239, 239)  96.875%,
  rgb(255, 255, 255)  96.875%,
  rgb(255, 255, 255) 100.000%
);