From 647ab22c047b71dd3ea4c0c8a412ebe8f1b1c2da Mon Sep 17 00:00:00 2001
From: Louis Gesbert <louis.gesbert@ocamlpro.com>
Date: Wed, 26 Jun 2024 11:49:28 +0200
Subject: [PATCH] Literate output: adjust catala-metadata margins

to make sure that 80 characters fit in the line
---
 compiler/literate/latex.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/compiler/literate/latex.ml b/compiler/literate/latex.ml
index 707d84c3..db9b0351 100644
--- a/compiler/literate/latex.ml
+++ b/compiler/literate/latex.ml
@@ -317,7 +317,8 @@ let rec law_structure_to_latex
     Format.fprintf fmt
       "\\begin{tcolorbox}[colframe=OliveGreen, breakable, \
        title=\\textcolor{black}{\\texttt{%s}},title after \
-       break=\\textcolor{black}{\\texttt{%s}},before skip=1em, after skip=1em]\n\
+       break=\\textcolor{black}{\\texttt{%s}},before skip=1em, after skip=1em, \
+       left=0.6em, right=0.6em]\n\
        %a\n\
        \\end{tcolorbox}"
       metadata_title metadata_title