2 <html i18n-values=
"dir:textdirection;highlight:highlightStrength">
5 <link rel=
"stylesheet" href=
"chrome://resources/css/chrome_shared.css">
6 <link rel=
"stylesheet" href=
"chrome://resources/css/list.css">
7 <link rel=
"stylesheet" href=
"chrome://resources/css/widgets.css">
9 <link rel=
"stylesheet" href=
"../options/options_page.css">
10 <link rel=
"stylesheet" href=
"../options/chromeos/internet_detail.css">
11 <link rel=
"stylesheet" href=
"proxy_settings.css">
12 <script src=
"chrome://resources/js/cr.js"></script>
13 <script src=
"chrome://resources/js/event_tracker.js"></script>
14 <script src=
"chrome://resources/js/cr/event_target.js"></script>
15 <script src=
"chrome://resources/js/cr/ui.js"></script>
16 <script src=
"chrome://resources/js/cr/ui/touch_handler.js"></script>
17 <script src=
"chrome://resources/js/cr/ui/array_data_model.js"></script>
18 <script src=
"chrome://resources/js/cr/ui/list_selection_model.js"></script>
19 <script src=
"chrome://resources/js/cr/ui/list_selection_controller.js"></script>
20 <script src=
"chrome://resources/js/cr/ui/list_single_selection_model.js"></script>
21 <script src=
"chrome://resources/js/cr/ui/list_item.js"></script>
22 <script src=
"chrome://resources/js/cr/ui/list.js"></script>
23 <script src=
"chrome://resources/js/load_time_data.js"></script>
24 <script src=
"chrome://resources/js/local_strings.js"></script>
25 <script src=
"chrome://resources/js/util.js"></script>
27 <script src=
"../options/preferences.js"></script>
28 <script src=
"../options/pref_ui.js"></script>
29 <script src=
"../options/options_page.js"></script>
30 <script src=
"../options/chromeos/internet_detail.js"></script>
31 <script src=
"../options/chromeos/proxy_rules_list.js"></script>
32 <script src=
"keyboard/keyboard_utils.js"></script>
34 <script src=
"proxy_settings.js"></script>
37 <body i18n-values=
".style.fontFamily:fontfamily;.style.fontSize:fontsize">
38 <include src=
"../options/chromeos/internet_detail.html">