What do I do if the text-size and font changes when highlighting starts?

This can be resolved by using the following CSS-rules on your pages.

.sync_sent, .sync_word, .sync_word_highlighted, .sync_sent_highlighted {
   font-size:inherit !important; 
   font-family:inherit !important;
}