module Footnotes_js where content = "function inlineFootnote(footnote) {\n var ref = document.getElementById(\"a-\" + footnote.id);\n var inline = document.createElement(\"div\");\n for (var i=0; i 0) {\n var footnotes = footnoteLists[0].children;\n for (var j=0; j