jpty
Mars 9, 2020, 4:45
2
Bonjour @nebz
Mettre cela dans votre configuration personnalisée ne vous suffit pas ?
J’ai suivi les conseils de @kiboost dans l’autre fil et mis:
#pre_globallog {
font-family: Consolas;
font-size: 14px;
letter-spacing: normal;
}
Consolas est la seule police installée dans mon windows\font. Inutile de surcharger la font-family.
font-size 14px pour tenir compte de ma vue baissante.
Peut-on quand même essayer de trouver un consensus là dessus ?
Sur les (rares) retours, certains veulent une police plus grosse, d’autres plus petite etc.
Le but de ce changement est double:
Pour de ne pas charger plein de fonts différentes, c’est la même que toute l’interface.
On a réduit la taille et surtout l’interligne pour afficher plus d’infos, en scrollant moins à la fois horizontalement et verticalement.
Voilà le css actuel:
#pre_globallog {
font-size: 12px;
letter-spacing: 0.…