add support for footnotes

scripts/make-footnote

@@ -0,0 +1,5 @@
+#!/bin/sh
+id="$(wc -l /tmp/footnote_count | cut -d' ' -f1 | tr -d '\n')"
+echo -n "<sup>[<a id=\"${id}_backref\" href=\"#${id}_ref\">${id}</a>]</sup>"
+echo "<footnote style=\"margin: 0\" id=\"${id}_ref\">${1}<sup>[<a href=\"#${id}_backref\">${id}</a>]</sup></footnote>" >> /tmp/footnotes
+echo ' ' >> /tmp/footnote_count

scripts/put-footnotes

@@ -0,0 +1,3 @@
+#!/bin/sh 
+cat /tmp/footnotes
+echo > /tmp/footnotes

style.css

@@ -370,6 +370,11 @@ video {
   display: block
 }
 
+sup {
+  font-size: smaller;
+  line-height: 0;
+}
+
 footnote {
   font-size: 13px;
   margin-top: 20px;