From 51a3629794983bf5f18f0a23d49603979dfc316e Mon Sep 17 00:00:00 2001 From: Chandler Swift Date: Sat, 8 Nov 2025 13:52:04 -0600 Subject: [PATCH 01/11] Fix plat label text centering --- map.html | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/map.html b/map.html index c11341f..7ba7ef5 100644 --- a/map.html +++ b/map.html @@ -23,13 +23,10 @@ .label { font-weight: bold; text-align: center; - margin-top: -1em; } .label div { - position: relative; - left: -50%; - top: -50%; text-shadow: 0 0 2px white; + transform: translate(-50%, -50%); } .leaflet-popup-content-wrapper { height: min(800px, 60vh); From 08b3a0bac5f2fb1c2d17817ad5bc444edec5b802 Mon Sep 17 00:00:00 2001 From: Chandler Swift Date: Sat, 8 Nov 2025 13:58:01 -0600 Subject: [PATCH 02/11] Clean up get_plats.py --- scripts/get_plats.py | 10 ++-------- 1 file changed, 2 insertions(+), 8 deletions(-) diff --git a/scripts/get_plats.py b/scripts/get_plats.py index 7d0b648..52cbec1 100755 --- a/scripts/get_plats.py +++ b/scripts/get_plats.py @@ -1,5 +1,5 @@ #!/usr/bin/env nix-shell -#!nix-shell --quiet -p python3 -p python3Packages.requests -i python +#! nix-shell --quiet -p python3 -p python3Packages.requests -i python import json import sys @@ -15,13 +15,7 @@ params={ "f": "geojson", "returnGeometry": "true", "spatialRel": "esriSpatialRelIntersects", - # {"xmin":-10397214.368951382,"ymin":6023763.834217183,"xmax":-10397185.705065776,"ymax":6023792.498102792,"spatialReference":{"wkid":102100}} - # {"xmin":-10395523.199700572,"ymin":6021824.244624444,"xmax":-10395465.871929357,"ymax":6021881.572395659,"spatialReference":{"wkid":102100}} - "geometry": json.dumps({ - # "xmin": -10397313.413735004, - # "ymin": 6024888.239059315, - # "xmax": -10395148.64317237, - # "ymax": 6021777.960551391, + "geometry": json.dumps({ # TODO: why do I need json.dumps here? "xmin": -10397214.368951382, "xmax": -10395465.871929357, "ymin": 6021824.244624444, From 9352930ba6b99c0849a9fca3884cd3846d774382 Mon Sep 17 00:00:00 2001 From: Chandler Swift Date: Sat, 8 Nov 2025 14:28:29 -0600 Subject: [PATCH 03/11] Combine adjacent plats curl -LO "https://cdn.jsdelivr.net/npm/@turf/turf@6/turf.min.js" --- map.html | 127 ++++++++++++++++++++++++++++++++++++++++------------ turf.min.js | 88 ++++++++++++++++++++++++++++++++++++ 2 files changed, 186 insertions(+), 29 deletions(-) create mode 100644 turf.min.js diff --git a/map.html b/map.html index 7ba7ef5..ed86a80 100644 --- a/map.html +++ b/map.html @@ -6,6 +6,7 @@ Lawrence Deer Club Maps +