emeth-
commented
10 months ago New plan.
- Make it pure HTML, which renders in both Github markdown and on a standalone website.
- Make a script to recalculate footnote numbers from scratch, which people can use after editing footnotes. (store in Scripts repo)
- HTML Tags You Can Use on GitHub
Footnotes...
BEFORE
[^10]
[^10]:
text
AFTER
<sup id="backToMyFootnote"><a href="#myFootnote">1</a></sup>
<ol>
<li id="myFootnote">
<p>
This is a footnote. Since you need an <code>id</code> attribute on both the footnote and on the footnote reference (to enable the footnote to contain a link <em>back</em> to the reference) I think they both need to be done in raw HTML. I don't think there's any Markdown syntax for this. Here's how it's done:
</p>
<a href="#backToMyFootnote" title="Jump back to footnote 1 in the text.">↩︎</a>
</li>
</ol>
If/when it becomes necessary, due to Github disappearing/etc.
Should be a new repo under this org, with a simple renderer that functions identically to the github renderer (but standalone), can be fed a file to render it.