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