/* Functions to be used in pages under HARP. It's included in header.php */

/*
 * Allows to insert dinamically a CSS file or a Javascript file in a page, so
 * header file (where HEAD tag is) doesn't need to be modified. 
 * This function inserts the code into HEAD tag.
 * 
 * How to use it:
 * <script>
 *   loadjscssfile("myscript.js", "js")
 *   loadjscssfile("mystyle.css", "css") 
 * </script>
 */
function loadjscssfile(filename, filetype){
	if (filetype=="js"){ 
        // Javascript file
		var fileref=document.createElement('script')
		fileref.setAttribute("type","text/javascript")
		fileref.setAttribute("src", filename)
	}
	else if (filetype=="css"){
        // CSS file
		var fileref=document.createElement("link")
		fileref.setAttribute("rel", "stylesheet")
		fileref.setAttribute("type", "text/css")
		fileref.setAttribute("href", filename)
	}
	if (typeof fileref!="undefined") {
        document.getElementsByTagName("head")[0].appendChild(fileref)
	}
}

