Small UI improvements: margins.