var curr_mini;
var curr_span;

function loadminitext(f)
{
	// break id.
	var c;
	var l;

	if (curr_mini) curr_mini.style.display = "none";
	if (curr_span) {
		curr_span.innerHTML = "+ ";
	}
	curr_mini = document.getElementById(f.id + "_txt");
	if (curr_mini) {
		curr_span = f.getElementsByTagName("span");
		curr_span = (curr_span.length) ? curr_span[0] : null;
		if (curr_span) curr_span.innerHTML = "";
		curr_mini.style.display = "block";
		window.location.href = "#" + f.id;
	}
}
function loadmini(doc)
{
	var i;
	var d;
	var p;

	curr_mini = null;
	minimenu = new Array;
	d = document.getElementById("text_content");
	if (!d) return;
	d = d.getElementsByTagName("div");
	p = null;
	for(i=0;i<d.length;i++) {
		if (d[i].className != "minimenu") continue;
		if (!p) p = d[i];
		d[i].onclick = minihandler;
	}
	if (p) {
	// first one on the minimenu is the current
		curr_mini = document.getElementById(p.id + "_txt");
		curr_span = document.getElementsByTagName("span");
		curr_span = (curr_span.length) ? curr_span[0] : null;
		if (curr_span) curr_span.innerHTML = "";
	}
}
function minihandler(e)
{
	var e = e || window.event;
	var f = e.target || e.srcElement
	var i;
	var j;
	var d;
	var p;

	if (f.id == "") {
/*
 * we have a problem here because our offset parent isn't
 * the enclosing div. Its the div higher up. use brute force..
 */
		d = document.getElementsByTagName("div");
		for(i=0;i<d.length;i++) {
			if (d[i].className != "minimenu") continue;
			p = d[i].getElementsByTagName("span");
			for(j=0;j<p.length;j++) {
				if (p[j] == f) {
					f = d[i];
					break;
				}
			}
			if (j<p.length) break;
		}
	}
	if (f.id == "") return;
	loadminitext(f);
}