Add isOpen badge and filter, add square background to post offices

assets/themes/postboxes/postboxes.json

@@ -7,7 +7,7 @@
     "en": "A map showing postboxes and post offices"
   },
   "description": {
-    "en": "On this map you can find and add data of post offices and post boxes. You can use this map to find where you can mail your next postcard! :) "
+    "en": "On this map you can find and add data of post offices and post boxes. You can use this map to find where you can mail your next postcard! :)<br/>Spotted an error or is a post box missing? You can edit this map with a free OpenStreetMap account. "
   },
   "language": [
     "en"
@@ -18,11 +18,11 @@
   "startLat": 53.5511,
   "startLon": 9.9937,
   "startZoom": 13,
-  "widenFactor": 1.0,
+  "widenFactor": 1.5,
   "defaultBackgroundId": "CartoDB.Voyager",
   "clustering": {
     "maxZoom": 14,
-    "minNeededObjects": 100
+    "minNeededElements": 100
   },
   "layers": [
     {
@@ -127,8 +127,15 @@
         }
       ],
       "icon": {
-        "render": "./assets/themes/postboxes/post_office.svg"
+        "render": "square:white;./assets/themes/postboxes/post_office.svg"
       },
+      "iconOverlays": [
+        {
+          "if": "opening_hours~*",
+          "then": "isOpen",
+          "badge": true
+        }
+      ],
       "width": {
         "render": "1"
       },
@@ -148,7 +155,20 @@
           }
         }
       ],
-      "wayHandling": 2
+      "wayHandling": 2,
+      "filter": [
+        {
+          "id": "is_open",
+          "options": [
+            {
+              "question": {
+                "en": "Currently open"
+              },
+              "osmTags": "_isOpen=yes"
+            }
+          ]
+        }
+      ]
     }
   ]
 }