From 24ceda3d9cd060413f3957c428753287f1b67a00 Mon Sep 17 00:00:00 2001
From: Jacob Scherber <jgscherber@gmail.com>
Date: Sun, 31 May 2020 13:50:26 -0700
Subject: [PATCH] header size didn't include padding above buttons

---
 modules/renderer/map.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/modules/renderer/map.js b/modules/renderer/map.js
index 36e8e3d6e..c6447e9bc 100644
--- a/modules/renderer/map.js
+++ b/modules/renderer/map.js
@@ -981,7 +981,7 @@ export function rendererMap(context) {
 
     map.trimmedExtent = function(val) {
         if (!arguments.length) {
-            var headerY = 60;
+            var headerY = 71; 
             var footerY = 30;
             var pad = 10;
             return new geoExtent(