minimize your Firefox menu by editing the “Chrome” file