diff options
Diffstat (limited to 'doc/search.html')
| -rw-r--r-- | doc/search.html | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/doc/search.html b/doc/search.html index d567591..3c1d4ed 100644 --- a/doc/search.html +++ b/doc/search.html @@ -179,6 +179,30 @@ </div> </div> </footer> + + +<script type="text/x-mathjax-config"> + MathJax.Hub.Config({ + extensions: ["tex2jax.js"], + jax: ["input/TeX", "output/HTML-CSS"], + tex2jax: { + processEscapes: true, + skipTags: ["script","noscript","style","textarea"] + }, + "HTML-CSS": { availableFonts: ["TeX"] }, + TeX: { + Macros: { + Lrg: ['\\displaystyle{#1}', 1, ""] + } + } + }); +</script> + + +<script type="text/javascript" async + src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-MML-AM_CHTML"> +</script> + <script> var treestatename = 'GWDocsTreeState'; var protocol = location.href.split('/')[0].toLowerCase(); |