Subversion Repositories wimsdev

Rev

Rev 17238 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 17238 Rev 17727
Line 99... Line 99...
99
!if $style=integral or $style=folding or $subject=anstype
99
!if $style=integral or $style=folding or $subject=anstype
100
  <script>
100
  <script>
101
  document.addEventListener("DOMContentLoaded", function() {
101
  document.addEventListener("DOMContentLoaded", function() {
102
    anstype_content=document.getElementById('anstype_content')
102
    anstype_content=document.getElementById('anstype_content')
103
    anstype_content.innerHTML =
103
    anstype_content.innerHTML =
104
      marked(anstype_content.innerHTML);
104
      marked.parse(anstype_content.innerHTML);
105
  });
105
  });
106
  </script>
106
  </script>
107
!endif
107
!endif
108
 
108
 
109
!tail
109
!tail