currentfontsize = 10;

function bigger() {
	if (currentfontsize < 16) currentfontsize++;
	var vsmcontent = document.getElementById('vsmcontent');
	if (vsmcontent) vsmcontent.style.fontSize = currentfontsize + 'pt';
}

function smaller() {
	if (currentfontsize > 7) currentfontsize--;
	var vsmcontent = document.getElementById('vsmcontent');
	if (vsmcontent) vsmcontent.style.fontSize = currentfontsize + 'pt';
}

function sendlink(url) {
	openwindow('/1/vnc/sendlink.vnc?id='+url, 'sendlink', 550, 350);
}