Make all highlights bold

Bold is clearly superior to roman.