also facilitate advanced searching in external software (such as browser plugins or free dictionary software). Simple indices should of course ignore this...
with CSS classes; the smaller font size is what you get by default and normally the font size is increased by something in MediaWiki:Common.css. Either...