var set_page_min_height = function () {
    var window_size = $(window).height();
    var document_size = $(document).height();

    if (document_size <= window_size) {
	$('#page').height(window_size - 250);
    }
}