Nicer formatting for example shell sessions.