var max_text_size = "15";
var min_text_size = "7";
function makeSmaller() {
	current_size = parseInt(document.body.style.fontSize);
	if (current_size-1 >= min_text_size) {
		document.body.style.fontSize = current_size-1+"pt";
	}
}

function makeLarger() {
	current_size = parseInt(document.body.style.fontSize);
	if (current_size+1 <= max_text_size) {
		document.body.style.fontSize = current_size+1+"pt";
	}
}

function toggleWork(item) {
    if (item.style.height != "auto") {
        item.style.height = "auto";
    }
    else {
        item.style.height = "9em";
    }
}