title: What's a the best small font for eclipse?
body: <p>The default Courier New 10pt is larger than necessary for me.  However, using that font at 8pt does not look very good.</p>
  
  <p>Are there better choices for a more readable, very small (e.g., 8pt) font for eclipse?</p>