diff --git a/DocGen4/Output/Structure.lean b/DocGen4/Output/Structure.lean index f4ab138..8f48dc3 100644 --- a/DocGen4/Output/Structure.lean +++ b/DocGen4/Output/Structure.lean @@ -18,8 +18,8 @@ def fieldToHtml (f : Process.NameInfo) : HtmlM Html := do let renderedDoc ← docStringToHtml doc pure
  • -
    [renderedDoc]
    {s!"{shortName} "} : [← infoFormatToHtml f.type]
    +
    [renderedDoc]
  • else pure