Code Editor: More padding tweaks