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