$(document).ready(function(){
	if ($(".tabs-menu > ul.tabs-menu-list").length > 0){
    	$(".tabs-menu > ul.tabs-menu-list").tabs();
    }
});

function changeFontSize(size) {
	document.body.style.fontSize = size; 
}