function hover(qui)
{
qui.style.background="#000000";
qui.style.color="#ffffff";
}
function out(qui)
{
qui.style.background="#ffffff";
qui.style.color="#000000";
}
function hauteurdiv()
{
a=getCurrentHeight(document.getElementById("bord"));

b=getCurrentHeight(document.getElementById("principal"));

c= b-a;

document.getElementById("manquegauche").style.height=c+"px";
document.getElementById("manquedroit").style.height=c+"px";

}
/*
Basic JS Functions Library (JSbasics) version 1.0 - 04/24/07
	Created by Michael Muraz ©2007
		www.web2u.fr
			www.my.ziki.com/wiseman
*/


	


function getDimensions(element) {
	var display = element.style.display;
	if (display != 'none' && display != null) // Safari bug
		return {width: element.offsetWidth, height: element.offsetHeight};
	var s = element.style;
	var visibility0 = s.visibility;
	var position0 = s.position;
	var display0 = s.display;
	s.visibility = 'hidden';
	s.position = 'absolute';
	s.display = 'block';
	var width = element.clientWidth;
	var height = element.clientHeight;
	s.display = display0;
	s.position = position0;
	s.visibility = visibility0;
	return {width: width, height: height};
	}

function getFullHeight(element) {
	e = element.style;
	var display0 = e.display;
	var height0 = e.height;
	var visibility0 = e.visibility;
	var position0 = e.position;
	e.position = "absolute";
	e.visibility = "hidden";
	e.height = "";
	e.display = "block";
	var height = element.clientHeight;
	e.display = display0;
	e.height = height0;
	e.visibility = visibility0;
	e.position = position0;
	return height;
	}

function getFullWidth(element) {
	e = element.style;
	var display0 = e.display;
	var width0 = e.width;
	var visibility0 = e.visibility;
	e.visibility = "hidden";
	e.width = "";
	e.display = "block";
	var width = element.clientWidth;
	e.display = display0;
	e.width = width0;
	e.visibility = visibility0;
	return width;
	}

function getCurrentHeight(element) {
	var height=element.clientHeight;
	if(height==0) 
		height=element.offsetHeight;
	return height;
	}

function decToHex(dec){
	var hex = parseInt(dec).toString(16);
	if(dec<16) hex="0"+hex;
	return hex;
	}



function setOpacity(id,opacity) {
	var style = $(id).style;
	style.MozOpacity = opacity/100;
	style.filter = 'alpha(opacity='+opacity+')';
	style.KhtmlOpacity = opacity/100;
	style.opacity = opacity/100;
	}