Categories as JSON files

gastro.json

@@ -0,0 +1,6 @@
+{
+    "query": "(node[amenity~'^(restaurant|cafe)$'];way[amenity~'^(restaurant|cafe)$'];relation[amenity~'^(restaurant|cafe)$'];);",
+    "minZoom": 16,
+    "markerSign": "{% if tags.amenity=='restaurant' %}🍴{% else %}☕{% endif %}",
+    "featureBody": "{{ tags.amenity }}<br/>Cuisine: {{ tags.cuisine|default('unknown') }}"
+}

parks.json

@@ -0,0 +1,10 @@
+{
+    "query": "(way[leisure=park];relation[leisure=park];)",
+    "style": {
+        "color": "green",
+        "fillColor": "green",
+        "fillOpacity": 0.2,
+        "weight": 2
+    },
+    "minZoom": 14
+}

trees.json

@@ -0,0 +1,18 @@
+{
+    "query": "node[natural=tree];",
+    "style": {
+          "nodeFeature": "CircleMarker",
+          "color": "red",
+          "fillColor": "red",
+          "fillOpacity": 0.1,
+          "weight": 1,
+          "radius": 6
+    },
+    "marker": {
+        "iconUrl": "img/map_pointer.png",
+        "iconSize": [ 25, 42 ],
+        "iconAnchor": [ 13, 42 ]
+    },
+    "minZoom": 17,
+    "featureTitle": "{{ tags.species|default('Tree') }}"
+}