From http://wpsnipp.com/index.php/functions-php/increasing-wysiwyg-editor-height/