From 516a9d9be86015140cab2bf1fcba349c627f6538 Mon Sep 17 00:00:00 2001
From: jordi fita mas <jordi@tandem.blog>
Date: Wed, 31 Jan 2024 15:13:35 +0100
Subject: [PATCH] Fix the font-size of #campground_map
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Leaflet assumes that 1rem = 16px, and sets its wrapper’s font size to
.75rem to get 12px.  However, in our CSS 1rem = 10px.
---
 web/static/public.css | 1 +
 1 file changed, 1 insertion(+)

diff --git a/web/static/public.css b/web/static/public.css
index 6e909c6..c05aa7f 100644
--- a/web/static/public.css
+++ b/web/static/public.css
@@ -1495,6 +1495,7 @@ address {
 #campground_map {
     width: 70vw;
     border-radius: .6rem;
+    font-size: 1.2rem;
 }
 
 #arbres {