fix visualizzazione mappa

madbob · Jul 19, 2017 · 05d2a91 · 05d2a91
1 parent c8a83e1
commit 05d2a91
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 2 deletions.
diff --git a/funzioni.php b/funzioni.php
@@ -46,7 +46,7 @@
 
 $data_folder = 'data';
 
-function lugheader ($title, $extracss = null, $extrajs = null) {
+function lugheader ($title, $extracss = null, $extrajs = null, $reduced = false) {
 ?>
 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN" "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="it">
@@ -150,9 +150,11 @@ function lugheader ($title, $extracss = null, $extrajs = null) {
 		</div>
 
 		<div id="main-wrapper" class="clearfix">
+			<?php if ($reduced == false): ?>
 			<div id="main" class="clearfix">
 				<div id="content">
 					<div class="section">
+			<?php endif ?>
 
 <?php
 }

diff --git a/mappa/index.php b/mappa/index.php
@@ -21,7 +21,7 @@
 require_once ('../funzioni.php');
 lugheader ('Mappa',
 	array ('http://cdn.leafletjs.com/leaflet-0.6.4/leaflet.css'),
-	array ('http://cdn.leafletjs.com/leaflet-0.6.4/leaflet.js', 'mappa.js'));
+	array ('http://cdn.leafletjs.com/leaflet-0.6.4/leaflet.js', 'mappa.js'), true);
 
 $transformed = false;
 
@@ -64,5 +64,9 @@
 <input type="hidden" name="coords_file" value="/<?php echo $data_folder ?>/geo.txt" />
 <div id="map"></div>
 
+</div>
+</div>
+</div>
+
 <!-- Qui il footer non c'e' di proposito, la pagina e' interamente occupata dalla mappa -->