Ticket #1241: Making the filter toggle buttons text smaller that appear with the wide amiri font.