From 708f15d1e741f250c1d820d3e29d34fc16908667 Mon Sep 17 00:00:00 2001
From: arrival-spring <77166354+arrival-spring@users.noreply.github.com>
Date: Sun, 13 Feb 2022 08:45:28 +0000
Subject: [PATCH] Add schools layer to etymology theme

Many schools are named after interesting things, so this should be added to the etymology theme.
---
 assets/themes/etymology.json | 27 ++++++++++++++++++++++++++-
 1 file changed, 26 insertions(+), 1 deletion(-)

diff --git a/assets/themes/etymology.json b/assets/themes/etymology.json
index ceff10d4aa..ac772e4123 100644
--- a/assets/themes/etymology.json
+++ b/assets/themes/etymology.json
@@ -90,7 +90,32 @@
           }
         }
       }
+    },
+    {
+      "builtin": "etymology",
+      "override": {
+        "id": "education_institutions_without_etymology",
+        "name": {
+          "en": "Education institutions without etymology information",
+        },
+        "minzoom": 18,
+        "source": {
+          "osmTags": {
+            "and": [
+              "name~*",
+              {
+                "or": [
+                  "amenity=school",
+                  "amenity=kindergarten",
+                  "amenity=university",
+                  "amenity=college"
+                ]
+              }
+            ]
+          }
+        }
+      }
     }
   ],
   "hideFromOverview": false
-}
\ No newline at end of file
+}