Anonymous February 27, 2019 at 07:04 #30215 By the way, I tested it with font sizes from 3pt to 12pt. Just the 7pt does not work.
