documentation: Sphinx: change default role to code:easycrypt

The default role (`xxx`) is now set to the EasyCrypt code highlighter.

Author: strub

doc/_static/easycrypt.css

@@ -0,0 +1,9 @@
+/* Keep EasyCrypt inline role neutral (inherit text color). */
+code.easycrypt,
+code.code.easycrypt,
+code.code.highlight.easycrypt,
+span.easycrypt,
+span.code.easycrypt,
+span.code.highlight.easycrypt {
+  color: inherit;
+}

doc/conf.py

@@ -8,7 +8,9 @@
 import pathlib
 import sys
 
+from docutils.parsers.rst import roles
 from sphinx.util import logging as sphinx_logging
+from sphinx.roles import code_role
 
 # -- Project information -----------------------------------------------------
 # https://www.sphinx-doc.org/en/master/usage/configuration.html#project-information
@@ -32,9 +34,10 @@
 ]
 
 highlight_language = 'easycrypt'
+default_role = 'easycrypt'
 
 templates_path = ['_templates']
-exclude_patterns = ['_build', 'Thumbs.db', '.DS_Store']
+exclude_patterns = ['_build', 'Thumbs.db', '.DS_Store', 'global.rst']
 
 # -- EasyCrypt proofs -------------------------------------------------------
 
@@ -56,3 +59,16 @@
 
 html_theme = 'sphinx_rtd_theme'
 html_static_path = ['_static']
+html_css_files = [
+  'easycrypt.css',
+]
+
+# -- EasyCrypt role ----------------------------------------------------------
+def _easycrypt_role(name, rawtext, text, lineno, inliner, options=None, content=()):
+  options = {} if options is None else options.copy()
+  options['language'] = 'easycrypt'
+  return code_role(name, rawtext, text, lineno, inliner, options, content)
+
+# -- Setup app ---------------------------------------------------------------
+def setup(app):
+  app.add_role('easycrypt', _easycrypt_role)