function doubleSpace() {
    var a = document.getElementsByTagName("p");
    for (var i = 0; i < a.length; i ++)
	a[i].innerHTML = a[i].innerHTML.replace
	    (/\.(  |\n)/g, "<span style=\"margin-right: 1em\">.  </span>");
}

function addDomain() {
    var a = document.getElementsByTagName("var");
    for (var i = 0; i < a.length ; i ++)
	a[i].innerHTML += "@" + (a[i].className ? a[i].className : "scu.edu");
}

doubleSpace();
addDomain();