} ?> <?php if ($showLastPassings) { ?> res.updateLastPassings(); <?php } ?> <?php if ($showTimePrediction) { ?> res.eventTimeZoneDiff = <?php echo $currentComp->TimeZoneDiff(); ?> res.startPredictionUpdate(); <?php } ?> }); function changeFontSize(val) { var size = $("td").css("font-size"); var newSize = parseInt(size.replace(/px/, "")) + val; $("td").css("font-size",newSize + "px");