diff options
Diffstat (limited to 'Documentation/conf.py')
| -rw-r--r-- | Documentation/conf.py | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/Documentation/conf.py b/Documentation/conf.py index 88c377d468d0..aaa3f70aafcb 100644 --- a/Documentation/conf.py +++ b/Documentation/conf.py | |||
| @@ -282,7 +282,13 @@ latex_elements = { | |||
| 282 | \\definecolor{MyGray}{rgb}{0.80,0.80,0.80} | 282 | \\definecolor{MyGray}{rgb}{0.80,0.80,0.80} |
| 283 | 283 | ||
| 284 | \\makeatletter\\newenvironment{graybox}{% | 284 | \\makeatletter\\newenvironment{graybox}{% |
| 285 | \\begin{lrbox}{\\@tempboxa}\\begin{minipage}{\\columnwidth}}{\\end{minipage}\\end{lrbox}% | 285 | \\newlength{\\py@noticelength} |
| 286 | \\setlength{\\fboxrule}{1pt} | ||
| 287 | \\setlength{\\fboxsep}{7pt} | ||
| 288 | \\setlength{\\py@noticelength}{\\linewidth} | ||
| 289 | \\addtolength{\\py@noticelength}{-2\\fboxsep} | ||
| 290 | \\addtolength{\\py@noticelength}{-2\\fboxrule} | ||
| 291 | \\begin{lrbox}{\\@tempboxa}\\begin{minipage}{\\py@noticelength}}{\\end{minipage}\\end{lrbox}% | ||
| 286 | \\colorbox{MyGray}{\\usebox{\\@tempboxa}} | 292 | \\colorbox{MyGray}{\\usebox{\\@tempboxa}} |
| 287 | }\\makeatother | 293 | }\\makeatother |
| 288 | 294 | ||