Define the top edge of the editor area in a theme-friendly way.
Merge pull request #306 from robru/easier-theming

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