Translations:Help:Extension:WikiEditor/Realtime Preview/20/en

The height of both can also be adjusted by dragging the bottom resizing border.