4 var menuButton = document.getElementById('menu-button');
5 var menuDropDown = document.querySelector('header div.inner');
7 menuButton.onclick = function(event) {
8 var menuClass = menuDropDown.className;
9 var visible = menuClass.indexOf('showing') !== -1;
11 menuDropDown.className = menuClass.replace('showing', '');
13 menuDropDown.className += ' showing';
15 event.stopPropagation();
18 document.body.onclick = function(event) {
19 menuDropDown.className = menuDropDown.className.replace('showing', '');
20 event.stopPropagation();
24 // Handle video click to play
25 var videos = document.querySelectorAll('video');
26 for (var i = 0; i < videos.length; i++) {
27 videos[i].addEventListener('click', videoClick)
30 function videoClick() {
31 if (typeof InstallTrigger !== 'undefined') return;
32 this.paused ? this.play() : this.pause();
39 'language-html': 'htmlmixed',
40 'language-bash': 'shell',
41 'language-js': 'javascript',
42 'language-shell': 'bash',
43 'language-nginx': 'nginx',
44 'language-apache': 'apache'
47 var codeBlocks = document.querySelectorAll('pre');
48 for (var i = 0; i < codeBlocks.length; i++) {
49 var block = codeBlocks[i];
50 var codeElem = block.querySelector('code');
51 if (codeElem === null) continue;
53 var langClass = codeElem.className;
54 var mode = (typeof modeMap[langClass] !== 'undefined') ? modeMap[langClass] : 'htmlmixed';
55 var content = codeElem.textContent.trim();
56 CodeMirror(function(cmElem) {
57 block.parentNode.replaceChild(cmElem, block);
59 theme: 'base16-light',