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 <h1 i18n-content="fontSettingsPage"></h1> |
3 <section> | 3 <section> |
4 <h3 i18n-content="fontSettingsStandard"></h3> | 4 <h3 i18n-content="fontSettingsStandard"></h3> |
5 <div class="font-input-div"> | 5 <div class="font-input-div"> |
6 <div> | 6 <div> |
7 <select id="standard-font-family" class="font-input" dataType="string" | 7 <select id="standard-font-family" class="font-input" dataType="string" |
8 pref="webkit.webprefs.standard_font_family" | 8 pref="webkit.webprefs.standard_font_family" |
9 metric="Options_ChangeStandardFont" disabled></select> | 9 metric="Options_ChangeStandardFont" disabled></select> |
10 </div> | 10 </div> |
11 <div> | 11 <div> |
(...skipping 60 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
72 <h3 i18n-content="fontSettingsEncoding"></h3> | 72 <h3 i18n-content="fontSettingsEncoding"></h3> |
73 <div class="font-input-div"> | 73 <div class="font-input-div"> |
74 <div> | 74 <div> |
75 <select id="font-encoding" dataType="string" | 75 <select id="font-encoding" dataType="string" |
76 pref="intl.charset_default" metric="Options_ChangeFontEncoding" | 76 pref="intl.charset_default" metric="Options_ChangeFontEncoding" |
77 disabled></select> | 77 disabled></select> |
78 </div> | 78 </div> |
79 </div> | 79 </div> |
80 </section> | 80 </section> |
81 </div> | 81 </div> |
OLD | NEW |