/* Adjust the root font size */
function ts(int_size) {
	// $('body,td,th,tr,p,div').css('font-size', int_size);
	$('body,td').css('font-size', int_size);
}

$(document).ready(function(){
   $('div.lozenge').click(function(){
      top.location.href = $('a', this).attr('href');
   });
});