Merge branch 'doc' into 'master'

Fix 'TOC' image size in doc

See merge request simgrid/simgrid!28

diff --git a/docs/source/_static/css/custom.css b/docs/source/_static/css/custom.css
new file mode 100644 (file)
index 0000000..f796de4
--- /dev/null
+++ b/docs/source/_static/css/custom.css
@@ -0,0 +1,3 @@
+object#TOC {
+    max-width: 100%;
+}
\ No newline at end of file

diff --git a/docs/source/conf.py b/docs/source/conf.py
index b287522..e8de0fb 100644 (file)
--- a/docs/source/conf.py
+++ b/docs/source/conf.py
@@ -117,7 +117,7 @@ html_theme_options = {
 # Add any paths that contain custom static files (such as style sheets) here,
 # relative to this directory. They are copied after the builtin static files,
 # so a file named "default.css" will overwrite the builtin "default.css".
-# html_static_path = ['_static']
+html_static_path = ['_static']
 
 # Custom sidebar templates, must be a dictionary that maps document names
 # to template names.
@@ -145,6 +145,10 @@ html_context = {
     "conf_py_path": "/docs/source/",  # Path in the checkout to the docs root
 }
 
+html_css_files = [
+    'css/custom.css',
+]
+
 # -- Other options
 
 nitpicky = True # Generate a warning for all a cross-reference (such as :func:`myfunc`) that cannot be found