<!--
function twitter() {
var divh = document.getElementById('center_bar').offsetHeight;
var target1 = document.getElementById('twitter-ticker');
var target2 = document.getElementById('tweet-container');
target1.style.height = (divh+13) + "px";
target2.style.height = (divh-43) + "px";
}

window.onload=twitter();
//-->