Account for border when computing line height for numbering.
UI improvements for fiddler.