Clean up documentation (#765)

* Keep the default width of the rtd-theme

* Improve conf.py

* Clarify input file formats

* Fix spelling

* Review changes

* Doublon

* Revert removing _static directory

docs/sphinx_docs/Input_file_formats/index.rst

@@ -3,11 +3,18 @@
 Input file formats
 ******************
 
-Alt-ergo supports different input language. The main language is his native language, based on the lamguage of the Why plateform and detailed below. Alt-ergo (partially) supports the standard language of the SMT community, SMT-LIB. It also (partially) supports the input language of Why3 through the :doc:`AB-Why3 plugin <../Plugins/ab_why3>`.
+Alt-ergo supports different input languages:
+
+- The original input language is its native language, based on the language of the Why3 platform and
+  detailed below.
+- Alt-ergo supports the SMT-LIB language v2.6. Since 2.5.0, improved support
+  is provided by the `Dolmen <https://github.com/Gbury/dolmen>`_ frontend, available with
+  the `--frontend dolmen` option.
+- It also (partially) supports the input language of Why3 through the :doc:`AB-Why3 plugin <../Plugins/ab_why3>`.
 
 .. toctree::
    :maxdepth: 2
    :caption: Contents
-   
-   Alt-Ergo's native language <Native/index>
-   SMT-LIB                    <SMT-LIB2/index>
+
+   Alt-Ergo's native language  <Native/index>
+   SMT-LIB 2                   <SMT-LIB2/index>

docs/sphinx_docs/conf.py

@@ -17,9 +17,9 @@
 
 # -- Project information -----------------------------------------------------
 
-project = 'Doc-Alt-Ergo'
-copyright = '2020 - 2023, Alt-Ergo devs'
-author = 'Alt-Ergo devs'
+project = 'Alt-Ergo Documentation'
+copyright = '2020 - 2023, Alt-Ergo developers'
+author = 'Alt-Ergo developers'
 
 # -- Entry point -------------------------------------------------------------
 
@@ -56,9 +56,6 @@
 
 html_show_sourcelink = False
 
-def setup(app):
-    app.add_css_file('css/dac_theme_modif.css')
-
 # 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".