<!--

	// Alternate stylesheet stuff for wider screens

	if (screen.width > 1023) {
		document.write('	<link type="text/css" rel="stylesheet" href="/css/widescreen.css" />');
	}


	// JavaScript to print out email address and prevent email harvesters

	function printEmail(user) {

		var domain = 'spanishalgarveproperties.com';

		document.write('<a href="mailto:');

		document.write(user);
		document.write('@');
		document.write(domain);

		document.write('">');

		document.write(user);
		document.write('@');
		document.write(domain);

		document.write('</a>');

	}



	// Function to toggle a section as visible or hidden, and display +/- in the heading above accordingly

	function toggleVisible(section) {

		if (document.getElementById) {

			var sectionID = document.getElementById(section);

			if (sectionID.style.display == 'block') {
				sectionID.style.display = 'none';
			}
			else {
				sectionID.style.display = 'block';
			}
		}

	}



	// Function to show picture areas on roll over

	function showPic(areaName,numAreas) {
		if (document.getElementById) {

			// Hide all areas first

			for (count=0; count < numAreas; count++) {
				var picArea = document.getElementById('pic' + count);
				picArea.style.display = 'none';
			}

			// Show desired area

			var myArea = document.getElementById('pic' + areaName);
			myArea.style.display = 'block';
		}
	}



	// Function to make css development overview div's the same height

	function sameHeight(columns) {

		var divs = document.getElementsByTagName("DIV");
		var maxheight = 0;

		for (var i=0; i < divs.length; i++) {

			if (divs[i].className == 'development' || divs[i].className == 'developmentdetail') {
				if (divs[i].offsetHeight > maxheight) {
					maxheight = divs[i].offsetHeight;
				}
			}
		}

		maxheight++;

		for (i=0; i < divs.length; i++) {
			if (divs[i].className == 'development' || divs[i].className == 'developmentdetail') {

				divs[i].style.minHeight = (maxheight) + 'px';

				/* IE6 is broken, so we have to apply height instead of min-height */

				if (divs[i].offsetHeight <= maxheight) {
					divs[i].style.height = (maxheight) + 'px';
				}
			}
		}
	}



//-->