Je l'ai pas sous les yeux, et comme ils ont choisi des thèmes par défaut différents suivant les plateformes çà peut être différent pour chacune d'elles, mais bref, faut que tu pistes
:
ouvre l'inspecteur DOM, choisit Fichier -> Examiner une fenêtre, puis prend la fenêtre en cours. L'inspecteur devrait être sur la fenêtre globale de Firefox, et non le contenu de la page web courante.
Clique sur le bouton "Choisir un noeud à examiner en cliquant sur celui ci", puis clique sur la toolbar qui te pose problème.
Dans le panneau de droite, sélectionne "CSS Styles Rules".
A toi de voir quel est le style qui prend le pas sur border-width, un id (#), une classe (.),...
Tu dois alors pouvoir redéfinir celui-ci dans ta feuille de style personnelle...
en espérant t'avoir filer une voie
.