title: How to use variable-width font in HTML <pre> field
body: <p>I wish to display pre-formatted text as stored in a MySQL database but want to avoid displaying the text in the fixed-width font that <code>&lt;pre&gt;</code> imposes</p>
  
  <p>Or am I mistaken that  imposes any particular font but merely defaults to fixed-width?</p>