if (document.all){

	document.writeln('<style type="text/css">')

	document.writeln('.texte {font-size:10pt;}')

	document.writeln('.basdepage {font-size: 9pt;}')

	document.writeln('.titre {font-size: 12pt;}')

	document.writeln('</style>')

}

else if (document.layers || document.getElementById) {

	document.write('<style type="text/css">')

	document.write('.texte {font-size:10pt;}')

	document.write('.basdepage {font-size: 9pt;}')

	document.write('.titre {font-size: 12pt;}')

	document.write('</style>')

}