$(document).ready(function() {
  $("#main pre code").addClass("prettyprint");
  prettyPrint();
  
	var emails = $("span.email");
	
	for (var i = 0; i < emails.length; i++) {
		var e = $(emails[i]);
		var val = e.html();
		var p = emails[i].id.split('_');
		
		var a = p[0] + '@' + p[1] + '.' + p[2];
		if (!val) val = a;
		e.html("<a href='mailto:" + a + "'>" + val + "</a>");
	}
});