OLD | NEW |
1 <div id="font-settings" class="page" hidden> | 1 <div id="font-settings" class="page" hidden> |
2 <h1 i18n-content="fontSettingsPage"></h1> | 2 <header><h1 i18n-content="fontSettingsPage"></h1></header> |
3 <section> | 3 <section> |
4 <h3 i18n-content="fontSettingsStandard"></h3> | 4 <h3 i18n-content="fontSettingsStandard"></h3> |
5 <div class="font-setting-container"> | 5 <div class="font-setting-container"> |
6 <div class="font-input-div"> | 6 <div class="font-input-div"> |
7 <div> | 7 <div> |
8 <select id="standard-font-family" class="font-input" | 8 <select id="standard-font-family" class="font-input" |
9 data-type="string" metric="Options_ChangeStandardFont" | 9 data-type="string" metric="Options_ChangeStandardFont" |
10 pref="webkit.webprefs.global.standard_font_family"> | 10 pref="webkit.webprefs.global.standard_font_family"> |
11 </select> | 11 </select> |
12 </div> | 12 </div> |
(...skipping 76 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
89 <div class="font-input-div"> | 89 <div class="font-input-div"> |
90 <div> | 90 <div> |
91 <select id="font-encoding" data-type="string" | 91 <select id="font-encoding" data-type="string" |
92 pref="intl.global.charset_default" | 92 pref="intl.global.charset_default" |
93 metric="Options_ChangeFontEncoding"> | 93 metric="Options_ChangeFontEncoding"> |
94 </select> | 94 </select> |
95 </div> | 95 </div> |
96 </div> | 96 </div> |
97 </section> | 97 </section> |
98 </div> | 98 </div> |
OLD | NEW |