change pre tag default font