From 6c98d2da79d61d766b7bb6038bce5d1a726de194 Mon Sep 17 00:00:00 2001
From: Alex J Best <alex.j.best@gmail.com>
Date: Wed, 27 Oct 2021 16:51:51 +0200
Subject: [PATCH] Use tag selector in case title has a space in

---
 leanblueprint/templates/dep_graph.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 @@ <h1 id="doc_title">{{ title }}</h1>
            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()
         });