Schriftart in userChrome.js wichtig ??