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