function prefsSetFontFamily( style ) {
	document.getElementById( 'fontFamilyWebsafe' ).checked = true ;
}