Little trick to increase the height of the WYSIWYG content editor in WordPress admin.