diff --git a/scripts/make-footnote b/scripts/make-footnote new file mode 100755 index 0000000..f225efa --- /dev/null +++ b/scripts/make-footnote @@ -0,0 +1,5 @@ +#!/bin/sh +id="$(wc -l /tmp/footnote_count | cut -d' ' -f1 | tr -d '\n')" +echo -n "[${id}]" +echo "${1}[${id}]" >> /tmp/footnotes +echo ' ' >> /tmp/footnote_count diff --git a/scripts/put-footnotes b/scripts/put-footnotes new file mode 100755 index 0000000..b2c8ba9 --- /dev/null +++ b/scripts/put-footnotes @@ -0,0 +1,3 @@ +#!/bin/sh +cat /tmp/footnotes +echo > /tmp/footnotes diff --git a/style.css b/style.css index 818fa96..c0987ba 100644 --- a/style.css +++ b/style.css @@ -370,6 +370,11 @@ video { display: block } +sup { + font-size: smaller; + line-height: 0; +} + footnote { font-size: 13px; margin-top: 20px;