Je dois donner 8,5 points à la police de mon style de paragraphe par défaut. L’UI est codée avec une liste fixe de tailles de police, elle apparaît:
Donc, je ne veux pas 8 pt, je ne veux pas 9 pt, je veux 8,5 pt. Comment puis-je l'obtenir?
La version LibreOffice est la 5.2.7.2 (Debian Stretch).