"prefs.js". It should be found under your profile in FF. Rename it to some other extension first. Launch FF and it should create a new file by this name with default values. Good luck.