Define the top edge of the editor area in a theme-friendly way.

This saves me having to specify `!important` in my custom title-bar-squashing theme. This is related to #139.