From 48fd08dad7f1c735ae2de3e091162e246d1b401b Mon Sep 17 00:00:00 2001 From: gnat Date: Sat, 14 Sep 2024 03:49:33 -0700 Subject: [PATCH] add support for footnotes --- scripts/make-footnote | 5 +++++ scripts/put-footnotes | 3 +++ style.css | 5 +++++ 3 files changed, 13 insertions(+) create mode 100755 scripts/make-footnote create mode 100755 scripts/put-footnotes 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;