Make right arrows smaller to help alignment in code snippets