src/Doc/antiquote_setup.ML

       map (apfst (Thy_Output.pretty_thm ctxt))
       #> (if Config.get ctxt Thy_Output.quotes then map (apfst Pretty.quote) else I)
       #> (if Config.get ctxt Thy_Output.display
           then
             map (fn (p, name) =>
-              Output.output (Pretty.string_of (Pretty.indent (Config.get ctxt Thy_Output.indent) p)) ^
+              Output.output
+                (Thy_Output.string_of_margin ctxt
+                  (Pretty.indent (Config.get ctxt Thy_Output.indent) p)) ^
               "\\rulename{" ^ Output.output (Pretty.str_of (Thy_Output.pretty_text ctxt name)) ^ "}")
             #> space_implode "\\par\\smallskip%\n"
             #> enclose "\\begin{isabelle}%\n" "%\n\\end{isabelle}"
           else
             map (fn (p, name) =>