more accurate spacing, according to results seen in isar-ref (Appendix B), using 12pt or 10pt;