1  var DOCUMENTATION_OPTIONS = {
 2      URL_ROOT: document.getElementById("documentation_options").getAttribute('data-url_root'),
 3      VERSION: '1.0.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  };