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