AmsCdConfiguration.js 682 B

12345678910111213141516171819202122
  1. "use strict";
  2. Object.defineProperty(exports, "__esModule", { value: true });
  3. exports.AmsCdConfiguration = void 0;
  4. var Configuration_js_1 = require("../Configuration.js");
  5. require("./AmsCdMappings.js");
  6. exports.AmsCdConfiguration = Configuration_js_1.Configuration.create('amscd', {
  7. handler: {
  8. character: ['amscd_special'],
  9. macro: ['amscd_macros'],
  10. environment: ['amscd_environment']
  11. },
  12. options: {
  13. amscd: {
  14. colspace: '5pt',
  15. rowspace: '5pt',
  16. harrowsize: '2.75em',
  17. varrowsize: '1.75em',
  18. hideHorizontalLabels: false
  19. }
  20. }
  21. });
  22. //# sourceMappingURL=AmsCdConfiguration.js.map