Minor formatting for ctrl-key markup