Use the working font for printout, for now.