function font(id, size) {
var e = document.getElementById(id);
e.style.fontSize = size + "px";
var f = e.getElementsByTagName("*");
	for(i = 0;i < f.length; i++) {
		f[i].style.fontSize = size + "px";

	}
/* f = e.getElementsByTagName("li");
	for(i = 0;i < f.length; i++) {
		f[i].style.fontSize = size + "px";

	} */
}