From d23a5c91d22345c066e00375fe97c08027f4fd65 Mon Sep 17 00:00:00 2001
From: Eric Wieser <wieser.eric@gmail.com>
Date: Sun, 15 Dec 2024 03:38:23 -0800
Subject: [PATCH] fix: do not insert extra indents inside constructor
 docstrings (#247)

These are particularly nasty when they appear in code blocks.
---
 static/style.css | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/static/style.css b/static/style.css
index 925880b..5817520 100644
--- a/static/style.css
+++ b/static/style.css
@@ -701,7 +701,8 @@ pre code { padding: 0 0; }
 }
 
 .inductive_ctor_doc  {
-    text-indent: 2ex;
+    text-indent: 0;
+    margin-left: 2ex;
     font-family: 'Lato Medium';
     font-size: 17px;
 }