use the 'code' html element rather than 'pre' here