Lead Developer
Watching the HTML, the height of the element changes from 700px to 705px using javascript, so it must be inside their code somewhere.
While you wait for them, look through the plugin options for anything mentioning flexible height etc.. might be worded differently.