From 4ed10b3805303faab1de50014bea5b16951e8a8f Mon Sep 17 00:00:00 2001
From: humano <humano@alien.cubil>
Date: Mon, 29 Jul 2019 12:43:41 -0500
Subject: [PATCH] buscador en el mapa

---
 circuitos.php | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/circuitos.php b/circuitos.php
index efbf3bb..dbe2e3a 100644
--- a/circuitos.php
+++ b/circuitos.php
@@ -38,6 +38,7 @@ $buscador ="
 	<div id='div_campos'></div>
 	
 		<input type='text' id='buscar' name='buscar' class='form-control ' placeholder='Buscar'   >
+		<br>
 		<input type='submit' class='btn btn-info btn-block ' value='Buscar'>
 	
 	
@@ -165,6 +166,7 @@ $ids = json_decode($otro_json[0]);
             <!-- top aligned tabs -->
             <ul role="tablist">
                 <li><a href="#home" role="tab"><i class="fa fa-bars active"></i></a></li>
+                <li><a href="#search" role="tab"><i class="fa fa-search active"></i></a></li>
               
             </ul>
 
@@ -185,9 +187,13 @@ $ids = json_decode($otro_json[0]);
                 <hr>
                 <label id='formulario_descripcion_mapa'><?php echo $formulario_descripcion[0] ?></label>
                 <hr>
-				<?php echo $buscador; ?>
+				
 				<?php echo $categorias; ?>
              </div>
+             <div class="leaflet-sidebar-pane" id="search">
+				 <label>Buscar en el Mapa</label>
+				 <?php echo $buscador; ?>
+			 </div>
 
             
         </div>