michael@0: user_pref("browser.foo", "http://{server}");
michael@0: user_pref("zoom.minPercent", 30);
michael@0: user_pref("webgl.verbose", "false");
michael@0: user_pref("browser.bar", "{abc}xyz");