function testHeight() { /* to get dots lined up correctly */
	var myHeight = document.getElementById("maintextwrapper").offsetHeight;
	var myDifference = (6 - ((myHeight - 4) % 6));
	document.getElementById("maintextborderhorizbottom").style.height = (document.getElementById("maintextborderhorizbottom").offsetHeight + myDifference) + "px";
}