From 7e864ec7bcda35de2f0ca0d1f9294b7cc71d3af9 Mon Sep 17 00:00:00 2001
From: Jan-Piet Mens <jpmens@gmail.com>
Date: Thu, 1 Oct 2015 08:45:38 +0200
Subject: [PATCH] decrease padding

---
 docroot/last/functions.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/docroot/last/functions.js b/docroot/last/functions.js
index e57c53a..b827c78 100644
--- a/docroot/last/functions.js
+++ b/docroot/last/functions.js
@@ -55,8 +55,8 @@ function ButtonControl(controlDiv, map) {
 	controlText.style.fontFamily = 'Roboto,Arial,sans-serif';
 	controlText.style.fontSize = '16px';
 	controlText.style.lineHeight = '38px';
-	controlText.style.paddingLeft = '5px';
-	controlText.style.paddingRight = '5px';
+	controlText.style.paddingLeft = '4px';
+	controlText.style.paddingRight = '4px';
 	controlText.innerHTML = 'Autozoom';
 	controlUI.appendChild(controlText);