From f02c7542fcd21d4b3d7b82908325512be4e5404a Mon Sep 17 00:00:00 2001
From: narimiran <narimiran@disroot.org>
Date: Wed, 11 Nov 2020 15:59:41 +0100
Subject: [PATCH] nimdoc: items of ordered lists now have numbers instead of
 circles

---
 doc/nimdoc.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/nimdoc.css b/doc/nimdoc.css
index 457f024b52..2d9533cebb 100644
--- a/doc/nimdoc.css
+++ b/doc/nimdoc.css
@@ -410,7 +410,7 @@ ol ul {
   margin-bottom: 0;
   margin-left: 1.25em; }
 
-li {
+ul.simple > li {
     list-style-type: circle;
 }