.ot1-stixgeneral htfcss: ot1-stixgeneral-bold font-weight: bold; font-family: 'STIXGeneral', serif;