| import './code-tabs.js?1' | |
| import {hideLeftNav} from './docs-menu.js' | |
| //import {hideTopNav} from './top-navigation.js' | |
| import './page-nav.js' | |
| document.addEventListener('topNavigationShow', hideLeftNav) | |
| // document.addEventListener('leftNavigationShow', hideTopNav) | |