From 7065017237c9bf900b72be82bbe0c7e5698886e8 Mon Sep 17 00:00:00 2001
From: Markus Ankenbrand <markus@ankenbrand.me>
Date: Thu, 23 Feb 2017 01:18:12 +0100
Subject: [PATCH] Improve style

---
 js/page-pins-map.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/js/page-pins-map.js b/js/page-pins-map.js
index c0a2ab4..bb3ae41 100644
--- a/js/page-pins-map.js
+++ b/js/page-pins-map.js
@@ -17,8 +17,8 @@ jQuery('document').ready(function(){
     jQuery('#travelers-filter-button').on('click', filterByTravelerClick);
     jQuery('#travelers-reset-button').on('click', resetFilter);
     jQuery('#toggle-and-or').toggleSwitch({
-        width: "100px",
-        height: "40px",
+        width: "140px",
+        height: "20px",
         onLabel: "Insgesamt",
         offLabel: "Zusammen",
         onToggle: filterByTravelerClick