yacc and smaller font size in .pre