$(document).ready(function() {
    	if (! $('table.document-details').length) {
		return;
	}
	$("#tab-container").tabs();
	
	/* hide filenames for regular pdf */
	
	$(".caption a").each(function() 
		{
			if($(this).text().match(/dodis-[0-9]+\.(pdf|PDF)/))
				$(this).css("display", "none");
		})
		
});