From e80b3a1df1f151e08d5ab8ad4e68109c04497b77 Mon Sep 17 00:00:00 2001
From: Jan-Piet Mens <jpmens@gmail.com>
Date: Fri, 11 Sep 2015 12:58:53 +0200
Subject: [PATCH] fix cirle markers on GeoJSON map

---
 wdocs/map/functions.js | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/wdocs/map/functions.js b/wdocs/map/functions.js
index bf022cd..0567a6b 100644
--- a/wdocs/map/functions.js
+++ b/wdocs/map/functions.js
@@ -48,9 +48,18 @@ function initialize() {
 
 	map.data.loadGeoJson(dataURL);
 
+        var circle ={
+                  path: google.maps.SymbolPath.CIRCLE,
+                  fillColor: '#ff0000',
+                  fillOpacity: .9,
+                  scale: 5.5,
+                  strokeColor: 'white',
+                  strokeWeight: 2
+        };
         var featureStyle = {
                 strokeColor: 'red',
-                strokeWeight: 4
+                strokeWeight: 4,
+		icon: circle
         };
         map.data.setStyle(featureStyle);