Let the HTML editor take more space within the page