From e46c8f5a8fa1eb605161590c20cd051f2d0dd730 Mon Sep 17 00:00:00 2001 From: Artem Pelenitsyn Date: Sun, 22 Oct 2023 21:21:32 -0400 Subject: [PATCH 1/2] doc: render math with HTML to make it selectable (fix #8453) --- doc/conf.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/conf.py b/doc/conf.py index 51ab333f80e..8c0287cf84c 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -102,8 +102,8 @@ # Output file base name for HTML help builder. htmlhelp_basename = 'CabalUsersGuide' -# MathJax to use SVG rendering by default -mathjax_path = 'https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/latest.js?config=TeX-AMS-MML_SVG' +# MathJax to use HTML rendering by default (makes the text selectableable, see #8453) +mathjax_path = 'https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/latest.js?config=TeX-AMS_CHTML' # -- Options for LaTeX output --------------------------------------------- From 58bccc92236e95bdd9abf440c523979a2f5c5b0f Mon Sep 17 00:00:00 2001 From: Artem Pelenitsyn Date: Mon, 30 Oct 2023 11:10:48 -0400 Subject: [PATCH 2/2] Update doc/conf.py Co-authored-by: Bryan Richter --- doc/conf.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/conf.py b/doc/conf.py index 8c0287cf84c..84ea8de0f2d 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -102,7 +102,7 @@ # Output file base name for HTML help builder. htmlhelp_basename = 'CabalUsersGuide' -# MathJax to use HTML rendering by default (makes the text selectableable, see #8453) +# MathJax to use HTML rendering by default (makes the text selectable, see #8453) mathjax_path = 'https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/latest.js?config=TeX-AMS_CHTML'