Web IDE padding at top of editor

Problem + Motivation

See https://gitlab.com/gitlab-org/gitlab-ee/issues/5190#note_62398981

Design