doc/info/texi2html.init.in

   1 @TEXI_EXTRA_HEAD@ q{<link rel="icon" href="figures/favicon.ico">
   2 <!-- Select the theme to use for highlighting.  github looks pretty good for the examples
   3      in the manual -->
   4 <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.10.0/styles/github.min.css">
   5 <script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.10.0/highlight.min.js"></script>
   6 <!-- and it's easy to individually load additional languages -->
   7 <script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.10.0/languages/maxima.min.js">
   8 </script>
   9
  10 <script>
  11   hljs.configure({
  12       languages: ['Maxima'],
  13       cssSelector: @HLJS_CSS_SELECTOR@
  14   });
  15   hljs.highlightAll();
  16 </script>
  17 @NEED_MATHJAX@}
  18 @TEXI_EXTRA_TAIL@;