/* NOT USED AT THE MOMENT */
function stretch_columns()
{
  if ($('columns').getHeight() < window.innerHeight)
  {
    var columns_height = window.innerHeight + 'px';
    $('columns').setStyle({
      height: columns_height
    });
  }
}