Code prettify, Font