Matching Github's editor height.