/* Fix up OpenLayers for Firefox 3 bug
   OpenLayers.Renderer.SVG.supported() gets the wrong answer

  OpenLayers: http://dev.openlayers.org/docs/files/OpenLayers/Layer/Markers-js.html#OpenLayers.Layer.Markers.OpenLayers.Layer.Markers
  OpenSpace: http://openspace.ordnancesurvey.co.uk/openspace/OpenSpaceAPIDocs0.8.0/files/OpenSpace/Map-js.html#OpenSpace.Map.createMarker
  OpenSpace examples to get started: http://openspace.ordnancesurvey.co.uk/openspace/support.html
 */
OpenLayers.Renderer.SVG.prototype.supported = function() {
  var svgFeature = "http://www.w3.org/TR/SVG11/feature#";
  return (document.implementation &&
     (document.implementation.hasFeature("org.w3c.svg", "1.0") ||
      document.implementation.hasFeature(svgFeature + "SVG", "1.1") ||
      document.implementation.hasFeature(svgFeature + "BasicStructure", "1.1") ));
};