From 3fc7476f0a3d5ec634f57de04db7d90fc3a13271 Mon Sep 17 00:00:00 2001
From: Rhiannon Morris <rhi@rhiannon.website>
Date: Thu, 10 Sep 2020 04:54:28 +0200
Subject: [PATCH] style for <ol>

---
 style/shiny/single.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/style/shiny/single.css b/style/shiny/single.css
index 05ac724..d9be195 100644
--- a/style/shiny/single.css
+++ b/style/shiny/single.css
@@ -124,7 +124,7 @@ body {
   margin-left: 0.8em;
 }
 
-#info h2, #info ul, #info p, #info dl {
+#info h2, #info ul, #info ol, #info p, #info dl {
   margin: 0.35em;
 }