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.12em;
line-height: 15px;
}
Vous pouvez bien sur le mettre en personnalisation, mais si vous pouviez regarder avec les outils dev pour trouver en live quelque chose de mieux et de partagé, je veux bien adapter.
Sachant que la custo est disponible facilement et accessible ici par exemple (doc non officielle je précise quand même):
Un exemple plus proche de l’actuel :
#pre_globallog {
font-size: 13px;
letter-spacing: 0.15em;
line-height: 16px;
}
Mais sur des long logs, je trouve qu’on perd énormément d’infos, obligeant à scroller beaucoup plus.
PS: si vous voulez l’appliquer aussi dans les logs de scénarios:
#pre_globallog,
#pre_scenariolog {
...
Merci de rester courtois et constructif sinon on n’arrivera à rien 