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