// JavaScript Document

if (document.getElementById('page').offsetHeight < 800)   document.getElementById('page').style.height = '800px';