From cffb00c44b31692fbef481853de1f8638df55f76 Mon Sep 17 00:00:00 2001
From: Georgi Matev <georgi.matev@gmail.com>
Date: Thu, 6 Oct 2022 10:14:29 -0700
Subject: [PATCH] Fixes an issue with using HTML in autogenerated markdown
 (#1073)

---
 docs/.markdownlint.json | 15 +++++++++++----
 1 file changed, 11 insertions(+), 4 deletions(-)

diff --git a/docs/.markdownlint.json b/docs/.markdownlint.json
index 645ab8403..7adc1f789 100644
--- a/docs/.markdownlint.json
+++ b/docs/.markdownlint.json
@@ -1,6 +1,13 @@
 {
-    "MD013": { "line_length": 120 },
-    "no-inline-html": {
-        "allowed_elements": [ "TOCInline", "br", "img" ]
+    "MD013": {
+        "line_length": 120
     },
-}
+    "no-inline-html": {
+        "allowed_elements": [
+            "TOCInline",
+            "br",
+            "img",
+            "div"
+        ]
+    },
+}
\ No newline at end of file