Ouvrez Web
.
Sélectionnez Options > Paramètres, puis l'une des options suivantes:
- Généraux — Modifier les paramètres généraux de navigation.
- Page — Modifier l'apparence des pages Web et les paramètres de son.
- Vie privée — Modifier les paramètres afin d'enregistrer et d'envoyer automatiquement des données.
- Paramètres — Modifier la barre d'outils.
- Raccourcis clavier — Modifier le plan des touches de raccourci.