pedagogy: add generic font for .radio-guide

2025-07-10 03:49:24 +00:00 · 2019-07-29 15:35:16 +02:00
parent 6c43b1c43d
commit 3380980c5c
2 changed files with 2 additions and 4 deletions
--- a/pedagogy/templates/pedagogy/guide.jinja
+++ b/pedagogy/templates/pedagogy/guide.jinja
@ -242,7 +242,5 @@
    $("#search_form").on("change", function(e){
    	$(this).submit();
    });
-
-    // $("#dynamic_view").hide();
 </script>
 {% endblock content %}