function set_external_links() {
		links = document.getElementsByTagName('a');
		
		for (i = 0; i < links.length; i++) {
			link = links[i];
			if (link.rel == 'ext') {
				link.target = '_blank';
			}
		}
	}