fix: do not insert extra indents inside constructor docstrings

These are particularly nasty when they appear in code blocks.

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;
 }