1<!doctype html> 2<html> 3 <head> 4 <meta charset="utf-8"> 5 <link rel="stylesheet" href="menu.css"> 6 <script src="shared/js/cr.js"></script> 7 <script src="shared/js/cr/ui.js"></script> 8 <script src="shared/js/local_strings.js"></script> 9 <script src="menu.js"></script> 10 <style i18n-content="menu_css"></style> 11 <script i18n-content="menu_source"></script> 12 </head> 13 <body> 14 <div id="scroll-up" class="scroll-button"></div> 15 <div id="viewport"></div> 16 <div id="scroll-down" class="scroll-button"></div> 17 </body> 18 <script i18n-content="init_script"></script> 19</html> 20