diff --git a/leanblueprint/templates/dep_graph.html b/leanblueprint/templates/dep_graph.html index a601c28..34c1079 100644 --- a/leanblueprint/templates/dep_graph.html +++ b/leanblueprint/templates/dep_graph.html @@ -134,7 +134,7 @@

{{ title }}

var title = d3.select(this).selectAll('title').text().trim(); $('#statements > div').hide() $('.thm').hide(); - $('#'+title.replace(':', '\\:')+'_modal').show().children().show().children().show(); + $("[id='" + title.replace(':', '\\:') + '_modal' + "']").show().children().show().children().show(); $('#statements').show() });