reformate, make small corrections, align with other doc files and use sphinx-design to make html more compact

2024-06-26 07:30:50 -04:00
parent 252f48b2c1
commit b1d1213dfd
3 changed files with 116 additions and 70 deletions
--- a/doc/utils/sphinx-config/conf.py.in
+++ b/doc/utils/sphinx-config/conf.py.in
@ -57,6 +57,7 @@ extensions = [
    'table_from_list',
    'tab_or_note',
    'breathe',
+    'sphinx_design'
 ]

 images_config = {