Override user's font for <pre> tags with monospace.