.php-snippets-code{height:400px}.php-snippets-code pre{height:400px;margin-top:0}.php-editor-code,.php-editor-code pre{height:500px}