textarea{width:80em}textarea[readonly=readonly],textarea[readonly]{background-color:#e0e0e0}textarea#contents_of_wp_config{height:24em}textarea#debug_settings_in_wp_config{height:9em}.CodeMirror{min-height:200px}