var DOCUMENTATION_OPTIONS = {
   URL_ROOT: document.getElementById("documentation_options").getAttribute('data-url_root'),
   VERSION: '2.3.4',
   LANGUAGE: 'None',
   COLLAPSE_INDEX: false,
   FILE_SUFFIX: '.html',
   HAS_SOURCE: true,
   SOURCELINK_SUFFIX: '.txt',
   NAVIGATION_WITH_KEYS: false
};