From a196c7aa8ea0e93bf3fa4297f6e9262f3e852dfa Mon Sep 17 00:00:00 2001 From: Juan Mauricio Matera Date: Thu, 8 Aug 2024 10:58:52 -0300 Subject: [PATCH] adding margins inside the definition block in latex documentation (#1056) This PR adjusts the margins inside the Definition block in the PDF documentation. As a result this: ![imagen](https://github.com/user-attachments/assets/f708e1fc-ce4d-46c7-9daa-de5419813f7a) looks now like this: ![imagen](https://github.com/user-attachments/assets/1480c4cd-b409-486a-ac61-a388c16cd580) --- mathics/doc/latex/mathics.tex | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/mathics/doc/latex/mathics.tex b/mathics/doc/latex/mathics.tex index 86b971a8d..56ca38c3b 100644 --- a/mathics/doc/latex/mathics.tex +++ b/mathics/doc/latex/mathics.tex @@ -117,12 +117,15 @@ \makeatletter\newenvironment{definitions}{ \vspace{0.5em}% - \begin{lrbox}{\@tempboxa}\begin{minipage}{0.95\columnwidth}% - \nobreak\vspace{0.3em}% + \begin{lrbox}{\@tempboxa} + \hspace*{1em} + \begin{minipage}{0.9\columnwidth}% + \nobreak\vspace{0.6em}% }{% \nobreak% - \vspace{0.3em}% - \end{minipage}\end{lrbox} + \vspace{0.6em}% + \end{minipage}\hspace*{1em} + \end{lrbox} \colorbox{definitions}{\usebox{\@tempboxa}} \vspace{1em}% }\makeatother