font changes for ntheorem