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