Yeah,
just discovering that. I think that it's used to add the "ALL" option there and, perhaps, to minimise the font size?
Should I change it to the standard one?
Ciao
Glossary
Glossary view
Dán digaštallan lea giddejuvvon, it don sáhte šat vástidit dasa.