changed env to html and added newline in docs

Author: Ljon4ik4

docs/source/options.md

@@ -76,11 +76,13 @@ prf_realtyp_to_countertyp = {
 
 ````{warning}
 The association of a counter to a directive is not transitive: Let us consider the following configuration:
+
 ```
 prf_realtyp_to_countertyp = {
     "lemma": "theorem",
     "conjecture": "lemma",
 }
 ```
+
 The `lemma` and `theorem` directives share a counter, however the `conjecture` directive has a separate counter (the `lemma` counter which is **not** used by `lemma` directives).
 ````

sphinx_proof/__init__.py

@@ -81,7 +81,7 @@ def copy_asset_files(app: Sphinx, exc: Union[bool, Exception]):
 def setup(app: Sphinx) -> Dict[str, Any]:
 
     app.add_config_value("proof_minimal_theme", False, "html")
-    app.add_config_value("prf_realtyp_to_countertyp", {}, "env")
+    app.add_config_value("prf_realtyp_to_countertyp", {}, "html")
 
     app.add_css_file("proof.css")
     app.connect("build-finished", copy_asset_files)