// JavaScript Document
/*
var left = document.getElementById('navigation-local');
var right = document.getElementById('wrapper');

if ( left.offsetHeight < right.offsetHeight){
right.style.height = right.offsetHeight;
}
if ( left.offsetHeight > right.offsetHeight){
right.style.height = left.offsetHeight;
}
*/