function f(n) {
	document.getElementById('content').style.fontSize = n }
function k(n) {
	document.getElementById('left-menu').style.fontSize = n }
function j(n) {
	document.getElementById('right-content').style.fontSize = n }