From 00c920daef00ab07fc37c1454d0e2c0b017246ba Mon Sep 17 00:00:00 2001
From: Andrew Nicols <andrew@nicols.co.uk>
Date: Thu, 31 Aug 2023 20:51:49 +0800
Subject: [PATCH] [site] Update style for nested ordered lists to auto

Closes #715.
---
 src/css/custom.css | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/css/custom.css b/src/css/custom.css
index 6266f3be86..ce529e5859 100644
--- a/src/css/custom.css
+++ b/src/css/custom.css
@@ -146,3 +146,9 @@ html {
     margin-top: 1.5rem;
   }
 }
+
+ol ol,
+ul ol {
+  /* Docusaurus overrides the style for nested ordered lists to roman-numerals, which is non-ideal. */
+  list-style-type: auto;
+}