text: var DOCUMENTATION_OPTIONS={URL_ROOT:document.getElementById("documentation_options").getAttribute("data-url_root"),VERSION:"tag-v1.14.1",LANGUAGE:"None",COLLAPSE_INDEX:!1,FILE_SUFFIX:".html",HAS_SOURCE:!0,SOURCELINK_SUFFIX:".txt",NAVIGATION_WITH_KEYS:!1};