Hackily add some padding on defn and rdng prompts