rem: } 
add: }, 
context:   writeUseDocumentFonts: function ()  {    var useDocumentFonts = document.getElementById("useDocumentFonts");    return useDocumentFonts.checked ? 1 : 0;  }
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/be7cad9b20a09fc0ae21854932e5ac6d1ba6fac5/fonts.js/buggy/mail/components/preferences/fonts.js