reduced font size of output pre to 12px