The text is still pretty sharp so using PNG seems very needles and JPEG is much smaller (eventhough the PNG has already been optimized via optipng).