var TITEMS = [ 
 ["AlphaToys", "source/index.html", "1",
  ["The basics of Alpha", "source/alpha.html", "11"],
  ["Manual", "source/manual.html", "1",
   ["Helpers", null, "1",
    ["About...", "source/plugin-about.html", "11"],
    ["Help", "source/plugin-help.html", "11"]
   ],
   ["The AlphaToys", null, "1",
    ["Auto Contrast", "source/plugin-autocontrast.html", "11"],
    ["Bright to Opaque", "source/plugin-brighttoopaque.html", "11"],
    ["Bright to Opaque White", "source/plugin-brighttoopaquewhite.html", "11"],
    ["Brightness/Contrast...", "source/plugin-brightnesscontrast.html", "11"],
    ["Custom...", "source/plugin-custom.html", "11"],
    ["Dark to Opaque", "source/plugin-darktoopaque.html", "11"],
    ["Dark to Opaque Black", "source/plugin-darktoopaqueblack.html", "11"],
    ["Fill...", "source/plugin-fill.html", "11"],
    ["Fill Opaque", "source/plugin-fillopaque.html", "11"],
    ["Fill Transparent", "source/plugin-filltransparent.html", "11"],
    ["Gaussian Blur...", "source/plugin-gaussianblur.html", "11"],
    ["Invert", "source/plugin-invert.html", "11"],
    ["Limit...", "source/plugin-limit.html", "11"],
    ["Noise...", "source/plugin-noise.html", "11"],
    ["Posterize...", "source/plugin-posterize.html", "11"],
    ["Unsharp Mask...", "source/plugin-unsharpmask.html", "11"]
   ]
  ],
  ["How to register", "source/how_to_register.html", "11"],
  ["Support", "source/support.html", "11"]
 ],
 ["Links", null, "1",
  ["Internet: AlphaToys info", "http://alphatoys.vanderlee.com", "15"],
  ["Internet: VanDerLee", "http://www.vanderlee.com", "15"],
  ["E-mail: Support", "mailto:support@vanderlee.com", "13"]
 ],
 ["Internet: Order", "http://www.vanderlee.com/plugins_alphatoys_order.html", "15"]
];


var FITEMS = arr_flatten(TITEMS);

function arr_flatten (x) {
   var y = []; if (x == null) return y;
   for (var i=0; i<x.length; i++) {
      if (typeof(x[i]) == "object") {
         var flat = arr_flatten(x[i]);
         for (var j=0; j<flat.length; j++)
             y[y.length]=flat[j];
      } else {
         if ((i%3==0))
          y[y.length]=x[i+1];
      }
   }
   return y;
}