From 406a5c9bfb9a0e0adfac4de9be3d888a7cb0ac2b Mon Sep 17 00:00:00 2001 From: jirik Date: Sun, 9 Dec 2018 11:18:40 +0100 Subject: [PATCH] Hide POIs with level<>0 --- style.json | 36 ++++++++++++++++++++++++++++++++++++ 1 file changed, 36 insertions(+) diff --git a/style.json b/style.json index f130802b..b477c31e 100644 --- a/style.json +++ b/style.json @@ -3977,6 +3977,18 @@ ">=", "rank", 25 + ], + [ + "any", + [ + "!has", + "level" + ], + [ + "==", + "level", + 0 + ] ] ], "layout": { @@ -4023,6 +4035,18 @@ ">=", "rank", 15 + ], + [ + "any", + [ + "!has", + "level" + ], + [ + "==", + "level", + 0 + ] ] ], "layout": { @@ -4068,6 +4092,18 @@ [ "has", "name" + ], + [ + "any", + [ + "!has", + "level" + ], + [ + "==", + "level", + 0 + ] ] ], "layout": {