2
$('#content').height( $(window).height() -
3
$('#bottombar').height() -
4
$('#topbar').height() -
5
$('#titlebar').height() - 30
7
$('#editarea').height($('#content').height());
10
$(document).ready(stretch);
11
$(window).resize(stretch);
b'\\ No newline at end of file'