mapcomplete/assets/themes/postal_codes/postal_codes.json

{
  "id": "postal_codes",
  "title": {
    "en": "Postal codes",
    "id": "Kode pos",
    "hu": "Irányítószámok"
  },
  "shortDescription": {
    "en": "Postal codes",
    "id": "Kode pos",
    "hu": "Irányítószámok"
  },
  "description": {
    "en": "Postal codes",
    "id": "Kode pos",
    "hu": "Irányítószámok"
  },
  "maintainer": "",
  "icon": "./assets/themes/postal_codes/townhall.svg",
  "version": "0",
  "startLat": 0,
  "startLon": 0,
  "startZoom": 1,
  "widenFactor": 0.05,
  "hideFromOverview": true,
  "clustering": false,
  "overpassTimeout": 180,
  "layers": [
    {
      "id": "postal_code_boundary",
      "name": {
        "en": "postal codes",
        "id": "kode pos",
        "hu": "irányítószámok"
      },
      "minzoom": 8,
      "title": {
        "render": {
          "en": "Postal code {postal_code}",
          "id": "Kode pos {postal_code}",
          "hu": "Irányítószám: {postal_code}"
        }
      },
      "description": {},
      "tagRenderings": [
        {
          "id": "postal_code",
          "render": {
            "en": "The postal code is {postal_code}",
            "id": "Kode posnya adalah {postal_code}",
            "hu": "Irányítószám: {postal_code}"
          }
        }
      ],
      "source": {
        "osmTags": {
          "or": [
            "boundary=postal_code",
            {
              "and": [
                "bounary=administrative",
                "postal_code~*"
              ]
            }
          ]
        }
      },
      "mapRendering": [
        {
          "label": "<div class='text-xl bg-white rounded-full pl-2 pr-2 break-normal'>{postal_code}</div>",
          "location": [
            "point",
            "centroid"
          ]
        },
        {
          "color": {
            "render": "#00f"
          },
          "width": {
            "render": "4"
          },
          "fill": "no",
          "dashArray": "8 8"
        }
      ],
      "isShown": {
        "render": "yes",
        "mappings": [
          {
            "if": "_country!=be",
            "then": "no"
          }
        ]
      }
    },
    {
      "id": "wrong_postal_code",
      "source": {
        "osmTags": {
          "and": [
            "boundary~*",
            "addr:postcode~*"
          ]
        }
      },
      "title": "Boundary relation with addr:postcode={addr:postcode}",
      "mapRendering": [
        {
          "color": "#f00",
          "width": 1
        }
      ]
    },
    {
      "id": "town_hall",
      "name": {
        "en": "town halls",
        "id": "balai kota",
        "hu": "polgármesteri hivatalok"
      },
      "minzoom": 12,
      "title": {
        "render": {
          "en": "Town hall {name}",
          "id": "Balai kota {name}",
          "hu": "{name} városháza"
        }
      },
      "calculatedTags": [
        "_postal_code_properties=(() => { const f = feat.overlapWith('postal_code_boundary'); if(f.length===0){return {};}; const p = f[0]?.feat?.properties; return {id:p.id, postal_code: p.postal_code, _closest_town_hall: p._closest_town_hall}; })()",
        "_postal_code=feat.get('_postal_code_properties')?.postal_code",
        "_postal_code_center_distance=feat.distanceTo(feat.get('_postal_code_properties').id)"
      ],
      "description": {},
      "tagRenderings": [],
      "presets": [],
      "source": {
        "osmTags": {
          "or": [
            "amenity=townhall",
            "building=church"
          ]
        }
      },
      "mapRendering": [
        {
          "icon": "./assets/themes/postal_codes/townhall.svg",
          "iconSize": {
            "render": "40,40,center"
          },
          "location": [
            "point",
            "centroid"
          ]
        }
      ],
      "isShown": {
        "render": "yes",
        "mappings": [
          {
            "if": "_country!=be",
            "then": "no"
          }
        ]
      }
    }
  ]
}