documentation_options.js 420 B

1234567891011121314
  1. var DOCUMENTATION_OPTIONS = {
  2. URL_ROOT: document.getElementById("documentation_options").getAttribute('data-url_root'),
  3. VERSION: '1.1.0',
  4. LANGUAGE: 'en',
  5. COLLAPSE_INDEX: false,
  6. BUILDER: 'html',
  7. FILE_SUFFIX: '.html',
  8. LINK_SUFFIX: '.html',
  9. HAS_SOURCE: true,
  10. SOURCELINK_SUFFIX: '.txt',
  11. NAVIGATION_WITH_KEYS: false,
  12. SHOW_SEARCH_SUMMARY: true,
  13. ENABLE_SEARCH_SHORTCUTS: true,
  14. };