display natural=reef

GuruMaps · May 18, 2023 · 828ff59 · 828ff59
1 parent 7357ab7
commit 828ff59
Show file tree

Hide file tree

Showing 4 changed files with 65 additions and 0 deletions.
diff --git a/Default.style/Style.mapcss b/Default.style/Style.mapcss
@@ -14,6 +14,7 @@
     @image_allotments: "allotments_dark.png";
     @image_quarry: "quarry_dark.png";
     @image_dog_park: "dog_park_dark.png";
+    @image_reef: "reef_dark.svg";
 @else // Default colors
     @import "colors.mapcss";
     @image_noData: "noData.png";
@@ -27,6 +28,7 @@
     @image_allotments: "allotments.png";
     @image_quarry: "quarry.png";
     @image_dog_park: "dog_park.png";
+    @image_reef: "reef.svg";
 @endif
 @image_wetland: "wetland.png";
 

diff --git a/Default.style/polygons.mapcss b/Default.style/polygons.mapcss
@@ -299,6 +299,13 @@ area {
         }
     }
 
+    @if Style == Outdoor
+        |z14-[natural=reef] {
+            fill-image: @image_reef;
+            z-index: 1;
+        }
+    @endif
+
     [natural=wetland] {
         |z9-12 {
             fill-color: @color_wetland;

diff --git a/Default.style/reef.svg b/Default.style/reef.svg
diff --git a/Default.style/reef_dark.svg b/Default.style/reef_dark.svg