tweaks for non-ghostscripted PDFs with zero-length lines, lines with top > bottom