[Opera 12] Afficher les titres des onglets en plus grand

[Note : Cette astuce ne fonctionne qu'avec l'ancienne version 12 d'Opera]
Opera propose diverses options de personnalisation de son interface, dont l’une permet d’améliorer nettement la lisibilité des onglets. Et plus largement des éléments liés aux barres d’outils du navigateur. Voici comment modifier cette option.

1
Composez au clavier le raccourci Ctrl + F12 : c’est celui qui permet d’accéder rapidement à la fenêtre des préférences du logiciel (utile à mémoriser).

2
Cliquez sur l’onglet Avancé puis, sur la colonne de gauche, sur la section Polices.

3
Sur la droite ensuite, sélectionnez la ligne Barre d’outils du navigateur, où figure par défaut le choix Segoe UI (colonne Police). Cliquez sur le bouton Choisir.

4
Dans la boîte de dialogue qui s’ouvre, sélectionnez une police de caractères, par exemple @Arial Unicode MS, et une taille assez grande, par exemple 21 pour cette police.

5
Cliquez sur le bouton OK puis à nouveau sur le bouton OK de la fenêtre Préférences. Et voilà ! Les onglets sont maintenant bien plus lisibles, ainsi que tous les éléments de l’interface qui sont associés aux barres d’outils (barre d’état, barre d’adresse, etc).