@ -387,6 +387,9 @@ function init() {
}
function resize_headlines() {
if (is_msie()) return;
var h_frame = document.getElementById("headlines-frame");
var c_frame = document.getElementById("content-frame");