autobold.js 1.8 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950
  1. /* -*- Mode: Javascript; indent-tabs-mode:nil; js-indent-level: 2 -*- */
  2. /* vim: set ts=2 et sw=2 tw=80: */
  3. /*************************************************************
  4. *
  5. * MathJax/extensions/TeX/autobold.js
  6. *
  7. * Adds \boldsymbol around mathematics that appears in a section
  8. * of an HTML page that is in bold.
  9. *
  10. * ---------------------------------------------------------------------
  11. *
  12. * Copyright (c) 2009-2017 The MathJax Consortium
  13. *
  14. * Licensed under the Apache License, Version 2.0 (the "License");
  15. * you may not use this file except in compliance with the License.
  16. * You may obtain a copy of the License at
  17. *
  18. * http://www.apache.org/licenses/LICENSE-2.0
  19. *
  20. * Unless required by applicable law or agreed to in writing, software
  21. * distributed under the License is distributed on an "AS IS" BASIS,
  22. * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  23. * See the License for the specific language governing permissions and
  24. * limitations under the License.
  25. */
  26. MathJax.Extension["TeX/autobold"] = {
  27. version: "2.7.2"
  28. };
  29. MathJax.Hub.Register.StartupHook("TeX Jax Ready",function () {
  30. var TEX = MathJax.InputJax.TeX;
  31. TEX.prefilterHooks.Add(function (data) {
  32. var span = data.script.parentNode.insertBefore(document.createElement("span"),data.script);
  33. span.visibility = "hidden";
  34. span.style.fontFamily = "Times, serif";
  35. span.appendChild(document.createTextNode("ABCXYZabcxyz"));
  36. var W = span.offsetWidth;
  37. span.style.fontWeight = "bold";
  38. if (W && span.offsetWidth === W) {data.math = "\\boldsymbol{"+data.math+"}"}
  39. span.parentNode.removeChild(span);
  40. });
  41. MathJax.Hub.Startup.signal.Post("TeX autobold Ready");
  42. });
  43. MathJax.Ajax.loadComplete("[MathJax]/extensions/TeX/autobold.js");