// This script picks out the large part of a web page, but it is very
// much work in process.

function guts(){
    var body = document.getElementsByTagName("body")[0];
    var bits = body.getElementsByTagName("div");
    var biggest;
    var size = 0;

    for (var i=0; i < bits.length; i++){
	var newSize = bits[i].textContent.split(" ").length;
	if (newSize > size){
	    size = newSize;
	    biggest = bits[i];
	}
    }
    body.style.backgroundColor = "white";
    body.style.color = "black";
    body.style.font="12pt Helvetica";
    body.style.margin = "5% 5% 5% 5%";
    body.innerHTML = biggest.innerHTML;
}

guts();