//Fichero para poner las hojas de estilo dependiendo si el navegador es Mozilla o Internet Explorer

with (document) {
	//para pantalla
	if (document.all) {
		//alert("IE")
		
		///pantalla
		write ('<link rel="stylesheet" type="text/css" media="screen" href="./css/general_ie.css" />')
		write ('<link rel="stylesheet" type="text/css" media="screen" href="./css/textos_ie.css" />')
	}
	else {
		//alert("Moz")
		
		
		write ('<link rel="stylesheet" type="text/css" href="./css/general.css" />')
		write ('<link rel="stylesheet" type="text/css" href="./css/textos.css" />')
	}
	
	//para imprimir
	write ('<link rel="stylesheet" type="text/css" media="print" href="./css/general_print.css" />')
	write ('<link rel="stylesheet" type="text/css" media="print" href="./css/textos_print.css" />')	
	///para bordes
	write ('<link rel="stylesheet" type="text/css" media="print" href="./css/bordes.css" />')
}