function resize_decorations(){
	dl = $('decoration_rectangle_bottom_left');
	dr = $('decoration_rectangle_bottom_right');
	ca = $('content_area');

	raw_height = ca.offsetHeight;
	padding = 10;
	border = 1;

	dl.childNodes[0].style.height = (raw_height - 2*(padding + border)) + "px";
	dr.childNodes[0].style.height = (raw_height - 2*(padding + border)) + "px";
}