User:MarnetteD/common.css

/* Make edit windows have the same line pitch as css/js pages, instead of 19.5px */

textarea#wpTextbox1 { line-height: 16px; }