From d3bfc43c35565b808a7469c04115a70299d9dc56 Mon Sep 17 00:00:00 2001
From: poikilos <7557867+poikilos@users.noreply.github.com>
Date: Sat, 20 Feb 2016 14:51:30 -0500
Subject: [PATCH] changed size of zoom widgets to pt to improve usability
 high-dpi displays

---
 web/chunkymap.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/web/chunkymap.php b/web/chunkymap.php
index d0e59b7..91eb6e2 100644
--- a/web/chunkymap.php
+++ b/web/chunkymap.php
@@ -203,8 +203,8 @@ function echo_chunkymap_controls($callback_php_path) {
 	}
 	if (!$found) $in_zoom=$chunkymap_view_zoom_max;
 	
-	$in_html="<img src=\"images/$in_img_name\">";
-	$out_html="<img src=\"images/$out_img_name\">";
+	$in_html="<img src=\"images/$in_img_name\" style=\"width:16pt; height:16pt\" />";
+	$out_html="<img src=\"images/$out_img_name\" style=\"width:16pt; height:16pt\" />";
 	if ($is_in) $in_html="<a href=\"?chunkymap_view_zoom_multiplier=$in_zoom#$chunkymap_anchor_name\">$in_html</a>";
 	if ($is_out) $out_html="<a href=\"?chunkymap_view_zoom_multiplier=$out_zoom#$chunkymap_anchor_name\">$out_html</a>";
 	echo $in_html;