From 8c1aa3493ec7596a981a5b17481ad370386f2a09 Mon Sep 17 00:00:00 2001
From: sabine <6594573+sabine@users.noreply.github.com>
Date: Wed, 17 Apr 2024 13:01:49 +0200
Subject: [PATCH] fix: add .modules style for odoc-generated documentation
 pages (#2355)

---
 asset/css/doc.css | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/asset/css/doc.css b/asset/css/doc.css
index 07c9af2e3b..d46af508cd 100644
--- a/asset/css/doc.css
+++ b/asset/css/doc.css
@@ -355,3 +355,7 @@ span.sign-expand.open::before {
   content: " \2212";
   color: #cc4e0c;
 }
+
+/* Lists of modules */
+
+.modules { list-style-type: none; padding-left:0; }