$(document).ready(function() {

	// Open links with rel="external" in new windows
	$("a[@rel='external']").click(function() {
		return !window.open($(this).attr("href"));
	});
	
	// Fix PNGs
	$.ifixpng('/_format/images/pixel.gif'); // set covering image location
	$('img[@src$=.png], div#content, body.visit h1').ifixpng(); // fix all inline pngs

});