diff --git a/Documentation/conf.py b/Documentation/conf.py index 85e9f16b1d98e..ab484e56e23c6 100644 --- a/Documentation/conf.py +++ b/Documentation/conf.py @@ -326,6 +326,9 @@ \\setromanfont{DejaVu Sans} \\setmonofont{DejaVu Sans Mono} + % To allow adjusting table sizes + \\usepackage{adjustbox} + ''' }