Gym-MiniGrid/_static/documentation_options.js

const DOCUMENTATION_OPTIONS = {
    VERSION: '2.3.1',
    LANGUAGE: 'en',
    COLLAPSE_INDEX: false,
    BUILDER: 'dirhtml',
    FILE_SUFFIX: '.html',
    LINK_SUFFIX: '.html',
    HAS_SOURCE: false,
    SOURCELINK_SUFFIX: '.txt',
    NAVIGATION_WITH_KEYS: false,
    SHOW_SEARCH_SUMMARY: true,
    ENABLE_SEARCH_SHORTCUTS: true,
};