From 409897a83085edbe36211f1fea47e42bb8417d2b Mon Sep 17 00:00:00 2001
From: Tom Willemse <tom@ryuslash.org>
Date: Wed, 26 Jul 2023 16:45:06 -0700
Subject: [PATCH] Fix up the display of the foot notes

---
 src/less/include/common.less | 11 +++++++++++
 src/less/tekuti.less         | 10 ----------
 2 files changed, 11 insertions(+), 10 deletions(-)

diff --git a/src/less/include/common.less b/src/less/include/common.less
index 96434c1..512ede7 100644
--- a/src/less/include/common.less
+++ b/src/less/include/common.less
@@ -110,3 +110,14 @@ pre {
 p { margin: 0; }
 
 p + p { margin: 1rem 0; }
+
+.footdef {
+  display: grid;
+  grid-template-columns: auto 1fr;
+  margin-bottom: 0.5rem;
+
+  > p, > sup {
+    margin: 0;
+    margin-right: 5px;
+  }
+}
diff --git a/src/less/tekuti.less b/src/less/tekuti.less
index 651706b..75b3a86 100644
--- a/src/less/tekuti.less
+++ b/src/less/tekuti.less
@@ -56,16 +56,6 @@ p.footpara {
   text-align: right;
 }
 
-.footdef {
-  display: grid;
-  grid-template-columns: auto 1fr;
-
-  > p {
-    margin: 0;
-    margin-right: 5px;
-  }
-}
-
 .org-src-container, .example {
   overflow-x: auto;
 }