OLD | NEW |
1 <!DOCTYPE HTML> | 1 <!DOCTYPE HTML> |
2 <html i18n-values="dir:textdirection;"> | 2 <html i18n-values="dir:textdirection;"> |
3 <head> | 3 <head> |
4 <meta charset="utf-8"> | 4 <meta charset="utf-8"> |
5 <title i18n-content="title"></title> | 5 <title i18n-content="title"></title> |
6 <link rel="icon" href="../../app/theme/history_favicon.png"> | 6 <link rel="icon" href="../../app/theme/history_favicon.png"> |
7 | 7 |
8 <link rel="stylesheet" href="chrome://resources/css/menu.css"> | 8 <link rel="stylesheet" href="chrome://resources/css/menu.css"> |
9 | 9 |
10 <script src="chrome://resources/js/event_tracker.js"></script> | 10 <script src="chrome://resources/js/event_tracker.js"></script> |
11 <script src="chrome://resources/js/cr.js"></script> | 11 <script src="chrome://resources/js/cr.js"></script> |
12 <script src="chrome://resources/js/cr/ui.js"></script> | 12 <script src="chrome://resources/js/cr/ui.js"></script> |
13 <script src="chrome://resources/js/cr/ui/command.js"></script> | 13 <script src="chrome://resources/js/cr/ui/command.js"></script> |
14 <script src="chrome://resources/js/cr/ui/menu_item.js"></script> | 14 <script src="chrome://resources/js/cr/ui/menu_item.js"></script> |
15 <script src="chrome://resources/js/cr/ui/menu.js"></script> | 15 <script src="chrome://resources/js/cr/ui/menu.js"></script> |
16 <script src="chrome://resources/js/cr/ui/position_util.js"></script> | 16 <script src="chrome://resources/js/cr/ui/position_util.js"></script> |
17 <script src="chrome://resources/js/cr/ui/menu_button.js"></script> | 17 <script src="chrome://resources/js/cr/ui/menu_button.js"></script> |
18 | 18 |
19 <script src="chrome://resources/js/local_strings.js"></script> | 19 <script src="chrome://resources/js/local_strings.js"></script> |
20 | 20 |
21 <script src="chrome://history2/history2.js"></script> | 21 <script src="chrome://history2/history2.js"></script> |
22 <script src="chrome://history2/strings.js"></script> | 22 <script src="chrome://history2/strings.js"></script> |
23 | 23 |
24 <link rel="stylesheet" href="webui2.css"> | 24 <link rel="stylesheet" href="old_webui.css"> |
25 | 25 |
26 <style> | 26 <style> |
27 #results-separator { | 27 #results-separator { |
28 margin-top:12px; | 28 margin-top:12px; |
29 border-top:1px solid #9cc2ef; | 29 border-top:1px solid #9cc2ef; |
30 background-color:#ebeff9; | 30 background-color:#ebeff9; |
31 font-weight:bold; | 31 font-weight:bold; |
32 padding:3px; | 32 padding:3px; |
33 margin-bottom:-8px; | 33 margin-bottom:-8px; |
34 } | 34 } |
(...skipping 224 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
259 | 259 |
260 <menu id="action-menu"> | 260 <menu id="action-menu"> |
261 <button id="more-from-site" i18n-content="moreFromSite"></button> | 261 <button id="more-from-site" i18n-content="moreFromSite"></button> |
262 <button id="remove-page" i18n-content="removeFromHistory"></button> | 262 <button id="remove-page" i18n-content="removeFromHistory"></button> |
263 </menu> | 263 </menu> |
264 | 264 |
265 <script src="chrome://resources/js/i18n_template.js"></script> | 265 <script src="chrome://resources/js/i18n_template.js"></script> |
266 <script src="chrome://resources/js/i18n_process.js"></script> | 266 <script src="chrome://resources/js/i18n_process.js"></script> |
267 </body> | 267 </body> |
268 </html> | 268 </html> |
OLD | NEW |