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
གྲོས་བསྟུན་འདི་བསྡམས་ཡོདཔ་ལས་ ལན་གསལ་བརྐྱབ་མི་ཚུགས་