Translations:Browser Configuration/Opera/13/fr: Difference between revisions

Latest revision as of 07:33, 27 February 2024

Information about message (contribute)

This message has no documentation. If you know where or how this message is used, you can help other translators by adding documentation to this message.

Message definition (Browser Configuration/Opera)

'''Opera''' has two default fonts - the normal font and the monospace font. You can change these default fonts by clicking on them. Change the normal font to ''DejaVu Sans'' and change the monospace font to ''DejaVu Sans Mono''.

Opera a deux polices par défaut : la police normale et la police monospace. Vous pouvez modifier ces polices par défaut en cliquant dessus. Changez la police normale en « DejaVu Sans » et changez la police monospace en « DejaVu Sans Mono ».