// cpt-city: wkp/country/wiki-tunis-gulf (cpt)
//
// Wikipedia elevation schemes: specialisations of the template with
// scaling suitable for that country's terrain. These are taken from
// various Wikipedia maps
//
// author: Eric Gaba (Sting), Bourrichon, PZmaps
// copyright: Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0)
// year: 2008, 2011, 2012
// url: https://phillips.shef.ac.uk/pub/cpt-city/wkp/country
#declare wiki_tunis_gulf =
color_map {
  [0.00000 color rgbf <0.5882,0.7882,0.9412,0.0000>]
  [0.10000 color rgbf <0.5882,0.7882,0.9412,0.0000>]
  [0.10000 color rgbf <0.6314,0.8235,0.9686,0.0000>]
  [0.15000 color rgbf <0.6314,0.8235,0.9686,0.0000>]
  [0.15000 color rgbf <0.6745,0.8588,0.9843,0.0000>]
  [0.18000 color rgbf <0.6745,0.8588,0.9843,0.0000>]
  [0.18000 color rgbf <0.7255,0.8902,1.0000,0.0000>]
  [0.19000 color rgbf <0.7255,0.8902,1.0000,0.0000>]
  [0.19000 color rgbf <0.7843,0.9216,1.0000,0.0000>]
  [0.19500 color rgbf <0.7843,0.9216,1.0000,0.0000>]
  [0.19500 color rgbf <0.8471,0.9490,0.9961,0.0000>]
  [0.20000 color rgbf <0.8471,0.9490,0.9961,0.0000>]
  [0.20000 color rgbf <0.6745,0.8157,0.6471,0.0000>]
  [0.22500 color rgbf <0.6745,0.8157,0.6471,0.0000>]
  [0.22500 color rgbf <0.5804,0.7490,0.5451,0.0000>]
  [0.25000 color rgbf <0.5804,0.7490,0.5451,0.0000>]
  [0.25000 color rgbf <0.6588,0.7765,0.5608,0.0000>]
  [0.30000 color rgbf <0.6588,0.7765,0.5608,0.0000>]
  [0.30000 color rgbf <0.7412,0.8000,0.5882,0.0000>]
  [0.35000 color rgbf <0.7412,0.8000,0.5882,0.0000>]
  [0.35000 color rgbf <0.8196,0.8431,0.6706,0.0000>]
  [0.40000 color rgbf <0.8196,0.8431,0.6706,0.0000>]
  [0.40000 color rgbf <0.8824,0.8941,0.7098,0.0000>]
  [0.50000 color rgbf <0.8824,0.8941,0.7098,0.0000>]
  [0.50000 color rgbf <0.9373,0.9216,0.7529,0.0000>]
  [0.60000 color rgbf <0.9373,0.9216,0.7529,0.0000>]
  [0.60000 color rgbf <0.8706,0.8392,0.6392,0.0000>]
  [0.70000 color rgbf <0.8706,0.8392,0.6392,0.0000>]
  [0.70000 color rgbf <0.7922,0.7255,0.5098,0.0000>]
  [0.80000 color rgbf <0.7922,0.7255,0.5098,0.0000>]
  [0.80000 color rgbf <0.7647,0.6549,0.4196,0.0000>]
  [0.90000 color rgbf <0.7647,0.6549,0.4196,0.0000>]
  [0.90000 color rgbf <0.7529,0.6039,0.3255,0.0000>]
  [1.00000 color rgbf <0.7529,0.6039,0.3255,0.0000>]
}