From b56d4f215061e57dd2f5470c14df0c27b810c8ba Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Nguy=E1=BB=85n=20Gia=20Phong?= <mcsinyx@disroot.org>
Date: Thu, 16 Feb 2023 06:01:47 +0900
Subject: [PATCH] autodoc: render ordered lists as such

---
 lib/docs/main.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/docs/main.js b/lib/docs/main.js
index feb6a96e50..579fc79442 100644
--- a/lib/docs/main.js
+++ b/lib/docs/main.js
@@ -3538,7 +3538,7 @@ const NAV_MODES = {
         case "ul":
         case "ol":
           if (
-            !previousLineIs("ul", line_no) ||
+            !previousLineIs(line.type, line_no) ||
             getPreviousLineIndent(line_no) < line.indent
           ) {
             html += "<" + line.type + ">\n";
@@ -3547,7 +3547,7 @@ const NAV_MODES = {
           html += "<li>" + markdownInlines(line.text) + "</li>\n";
 
           if (
-            !nextLineIs("ul", line_no) ||
+            !nextLineIs(line.type, line_no) ||
             getNextLineIndent(line_no) < line.indent
           ) {
             html += "</" + line.type + ">\n";