title: Render tab characters in HTML
body: <p>I have to render some text to a web page. The text is coming from sources outside my control and it is formatted using newlines and tab characters.</p>
  
  <p>New lines <code>(\n)</code> can be replaced by <code>br</code> tags, but what about preserving tabs? A brief search reveals there is no way to directly render tab characters in HTML.</p>