pub static INDEX: &'static [u8] =
b"<!DOCTYPE HTML>\n<html lang=\"{{ language }}\" class=\"sidebar-visible no-js\">\n <head>\n <!-- Book generated using mdBook -->\n <meta charset=\"UTF-8\">\n <title>{{ title }}</title>\n <meta content=\"text/html; charset=utf-8\" http-equiv=\"Content-Type\">\n <meta name=\"description\" content=\"{{ description }}\">\n <meta name=\"viewport\" content=\"width=device-width, initial-scale=1\">\n <meta name=\"theme-color\" content=\"#ffffff\" />\n\n <base href=\"{{ path_to_root }}\">\n\n <link rel=\"stylesheet\" href=\"book.css\">\n <link href=\"https://fonts.googleapis.com/css?family=Open+Sans:300italic,400italic,600italic,700italic,800italic,400,300,600,700,800\" rel=\"stylesheet\" type=\"text/css\">\n <link href=\"https://fonts.googleapis.com/css?family=Source+Code+Pro:500\" rel=\"stylesheet\" type=\"text/css\">\n\n <link rel=\"shortcut icon\" href=\"{{ favicon }}\">\n\n <!-- Font Awesome -->\n <link rel=\"stylesheet\" href=\"_FontAwesome/css/font-awesome.css\">\n\n <link rel=\"stylesheet\" href=\"highlight.css\">\n <link rel=\"stylesheet\" href=\"tomorrow-night.css\">\n <link rel=\"stylesheet\" href=\"ayu-highlight.css\">\n\n <!-- Custom theme stylesheets -->\n {{#each additional_css}}\n <link rel=\"stylesheet\" href=\"{{this}}\">\n {{/each}}\n\n {{#if mathjax_support}}\n <!-- MathJax -->\n <script async type=\"text/javascript\" src=\"https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.1/MathJax.js?config=TeX-AMS-MML_HTMLorMML\"></script>\n {{/if}}\n\n </head>\n <body class=\"light\">\n <!-- Work around some values being stored in localStorage wrapped in quotes -->\n <script type=\"text/javascript\">\n try {\n var theme = localStorage.getItem(\'mdbook-theme\');\n var sidebar = localStorage.getItem(\'mdbook-sidebar\');\n\n if (theme.startsWith(\'\"\') && theme.endsWith(\'\"\')) {\n localStorage.setItem(\'mdbook-theme\', theme.slice(1, theme.length - 1));\n }\n\n if (sidebar.startsWith(\'\"\') && sidebar.endsWith(\'\"\')) {\n localStorage.setItem(\'mdbook-sidebar\', sidebar.slice(1, sidebar.length - 1));\n }\n } catch (e) { }\n </script>\n\n <!-- Set the theme before any content is loaded, prevents flash -->\n <script type=\"text/javascript\">\n var theme;\n try { theme = localStorage.getItem(\'mdbook-theme\'); } catch(e) { } \n if (theme === null || theme === undefined) { theme = \'light\'; }\n document.body.className = theme;\n document.querySelector(\'html\').className = theme + \' js\';\n </script>\n\n <!-- Hide / unhide sidebar before it is displayed -->\n <script type=\"text/javascript\">\n var html = document.querySelector(\'html\');\n var sidebar = \'hidden\';\n if (document.body.clientWidth >= 1080) {\n try { sidebar = localStorage.getItem(\'mdbook-sidebar\'); } catch(e) { }\n sidebar = sidebar || \'visible\';\n }\n html.classList.remove(\'sidebar-visible\');\n html.classList.add(\"sidebar-\" + sidebar);\n </script>\n\n <nav id=\"sidebar\" class=\"sidebar\" aria-label=\"Table of contents\">\n {{#toc}}{{/toc}}\n </nav>\n\n <div id=\"page-wrapper\" class=\"page-wrapper\">\n\n <div class=\"page\">\n {{> header}}\n <div id=\"menu-bar\" class=\"menu-bar\">\n <div id=\"menu-bar-sticky-container\">\n <div class=\"left-buttons\">\n <button id=\"sidebar-toggle\" class=\"icon-button\" type=\"button\" title=\"Toggle Table of Contents\" aria-label=\"Toggle Table of Contents\" aria-controls=\"sidebar\">\n <i class=\"fa fa-bars\"></i>\n </button>\n <button id=\"theme-toggle\" class=\"icon-button\" type=\"button\" title=\"Change theme\" aria-label=\"Change theme\" aria-haspopup=\"true\" aria-expanded=\"false\" aria-controls=\"theme-list\">\n <i class=\"fa fa-paint-brush\"></i>\n </button>\n <ul id=\"theme-list\" class=\"theme-popup\" aria-label=\"Themes\" role=\"menu\">\n <li role=\"none\"><button role=\"menuitem\" class=\"theme\" id=\"light\">Light <span class=\"default\">(default)</span></button></li>\n <li role=\"none\"><button role=\"menuitem\" class=\"theme\" id=\"rust\">Rust</button></li>\n <li role=\"none\"><button role=\"menuitem\" class=\"theme\" id=\"coal\">Coal</button></li>\n <li role=\"none\"><button role=\"menuitem\" class=\"theme\" id=\"navy\">Navy</button></li>\n <li role=\"none\"><button role=\"menuitem\" class=\"theme\" id=\"ayu\">Ayu</button></li>\n </ul>\n {{#if search_enabled}}\n <button id=\"search-toggle\" class=\"icon-button\" type=\"button\" title=\"Search. (Shortkey: s)\" aria-label=\"Toggle Searchbar\" aria-expanded=\"false\" aria-keyshortcuts=\"S\" aria-controls=\"searchbar\">\n <i class=\"fa fa-search\"></i>\n </button>\n {{/if}}\n </div>\n\n <h1 class=\"menu-title\">{{ book_title }}</h1> \n\n <div class=\"right-buttons\">\n <a href=\"print.html\" title=\"Print this book\" aria-label=\"Print this book\">\n <i id=\"print-button\" class=\"fa fa-print\"></i>\n </a>\n </div>\n </div>\n </div>\n\n {{#if search_enabled}}\n <div id=\"search-wrapper\" class=\"hidden\">\n <form id=\"searchbar-outer\" class=\"searchbar-outer\">\n <input type=\"search\" name=\"search\" id=\"searchbar\" name=\"searchbar\" placeholder=\"Search this book ...\" aria-controls=\"searchresults-outer\" aria-describedby=\"searchresults-header\">\n </form>\n <div id=\"searchresults-outer\" class=\"searchresults-outer hidden\">\n <div id=\"searchresults-header\" class=\"searchresults-header\"></div>\n <ul id=\"searchresults\">\n </ul>\n </div>\n </div>\n {{/if}}\n\n <!-- Apply ARIA attributes after the sidebar and the sidebar toggle button are added to the DOM -->\n <script type=\"text/javascript\">\n document.getElementById(\'sidebar-toggle\').setAttribute(\'aria-expanded\', sidebar === \'visible\');\n document.getElementById(\'sidebar\').setAttribute(\'aria-hidden\', sidebar !== \'visible\');\n Array.from(document.querySelectorAll(\'#sidebar a\')).forEach(function(link) {\n link.setAttribute(\'tabIndex\', sidebar === \'visible\' ? 0 : -1);\n });\n </script>\n\n <div id=\"content\" class=\"content\">\n <main>\n {{{ content }}}\n </main>\n\n <nav class=\"nav-wrapper\" aria-label=\"Page navigation\">\n <!-- Mobile navigation buttons -->\n {{#previous}}\n <a rel=\"prev\" href=\"{{link}}\" class=\"mobile-nav-chapters previous\" title=\"Previous chapter\" aria-label=\"Previous chapter\" aria-keyshortcuts=\"Left\">\n <i class=\"fa fa-angle-left\"></i>\n </a>\n {{/previous}}\n\n {{#next}}\n <a rel=\"next\" href=\"{{link}}\" class=\"mobile-nav-chapters next\" title=\"Next chapter\" aria-label=\"Next chapter\" aria-keyshortcuts=\"Right\">\n <i class=\"fa fa-angle-right\"></i>\n </a>\n {{/next}}\n\n <div style=\"clear: both\"></div>\n </nav>\n </div>\n </div>\n\n <nav class=\"nav-wide-wrapper\" aria-label=\"Page navigation\">\n {{#previous}}\n <a href=\"{{link}}\" class=\"nav-chapters previous\" title=\"Previous chapter\" aria-label=\"Previous chapter\" aria-keyshortcuts=\"Left\">\n <i class=\"fa fa-angle-left\"></i>\n </a>\n {{/previous}}\n\n {{#next}}\n <a href=\"{{link}}\" class=\"nav-chapters next\" title=\"Next chapter\" aria-label=\"Next chapter\" aria-keyshortcuts=\"Right\">\n <i class=\"fa fa-angle-right\"></i>\n </a>\n {{/next}}\n </nav>\n\n </div>\n\n {{#if livereload}}\n <!-- Livereload script (if served using the cli tool) -->\n <script type=\"text/javascript\">\n var socket = new WebSocket(\"{{{livereload}}}\");\n socket.onmessage = function (event) {\n if (event.data === \"reload\") {\n socket.close();\n location.reload(true); // force reload from server (not from cache)\n }\n };\n\n window.onbeforeunload = function() {\n socket.close();\n }\n </script>\n {{/if}}\n\n {{#if google_analytics}}\n <!-- Google Analytics Tag -->\n <script type=\"text/javascript\">\n var localAddrs = [\"localhost\", \"127.0.0.1\", \"\"];\n\n // make sure we don\'t activate google analytics if the developer is\n // inspecting the book locally...\n if (localAddrs.indexOf(document.location.hostname) === -1) {\n (function(i,s,o,g,r,a,m){i[\'GoogleAnalyticsObject\']=r;i[r]=i[r]||function(){\n (i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),\n m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)\n })(window,document,\'script\',\'https://www.google-analytics.com/analytics.js\',\'ga\');\n\n ga(\'create\', \'{{google_analytics}}\', \'auto\');\n ga(\'send\', \'pageview\');\n }\n </script>\n {{/if}}\n\n {{#if is_print}}\n <script type=\"text/javascript\">\n document.addEventListener(\'DOMContentLoaded\', function() {\n window.print();\n })\n </script>\n {{/if}}\n\n {{#if playpen_js}}\n <script src=\"ace.js\" type=\"text/javascript\" charset=\"utf-8\"></script>\n <script src=\"editor.js\" type=\"text/javascript\" charset=\"utf-8\"></script>\n <script src=\"mode-rust.js\" type=\"text/javascript\" charset=\"utf-8\"></script>\n <script src=\"theme-dawn.js\" type=\"text/javascript\" charset=\"utf-8\"></script>\n <script src=\"theme-tomorrow_night.js\" type=\"text/javascript\" charset=\"utf-8\"></script>\n {{/if}}\n\n {{#if search_enabled}}\n <script src=\"searchindex.js\" type=\"text/javascript\" charset=\"utf-8\"></script>\n {{/if}}\n {{#if search_js}}\n <script src=\"elasticlunr.min.js\" type=\"text/javascript\" charset=\"utf-8\"></script>\n <script src=\"mark.min.js\" type=\"text/javascript\" charset=\"utf-8\"></script>\n <script src=\"searcher.js\" type=\"text/javascript\" charset=\"utf-8\"></script>\n {{/if}}\n\n <script src=\"clipboard.min.js\" type=\"text/javascript\" charset=\"utf-8\"></script>\n <script src=\"highlight.js\" type=\"text/javascript\" charset=\"utf-8\"></script>\n <script src=\"book.js\" type=\"text/javascript\" charset=\"utf-8\"></script>\n\n <!-- Custom JS scripts -->\n {{#each additional_js}}\n <script type=\"text/javascript\" src=\"{{this}}\"></script>\n {{/each}}\n\n </body>\n</html>\n"