used acronym font for kernel abbreviations