зеркало из https://github.com/mozilla/gecko-dev.git
47 строки
1.3 KiB
HTML
47 строки
1.3 KiB
HTML
<html>
|
|
<head>
|
|
<title>Sample Prefs Panel</title>
|
|
</head>
|
|
|
|
<script language="JavaScript" src="PrefsWindow.js">
|
|
</script>
|
|
<style TYPE="text/css">
|
|
@import url(pref.css);
|
|
</style>
|
|
|
|
<body ID=here onload="return StartUp('Fonts')">
|
|
|
|
<DIV ID=top>
|
|
<SPAN ID=lefttext>Fonts</SPAN>
|
|
</DIV>
|
|
|
|
|
|
<table>
|
|
<FORM>
|
|
|
|
|
|
<tr><td>For the Encoding:</td><td><select id="pref"><OPTION>Western</td><td>Size<select id="pref"><OPTION>10</td</tr>
|
|
<tr><td>Variable Width Font:</td><td><select id="pref"><OPTION>Filler</td><td>Size<select id="pref"><OPTION>10</td></tr>
|
|
<tr><td>Fixed Width Font:</td><td><select id="pref"><OPTION>Filler</td><td></td></tr>
|
|
|
|
</FORM>
|
|
|
|
|
|
|
|
</table>
|
|
<br>
|
|
<table>
|
|
<tr><td>Sometimes a document will provide its own fonts.</tr></td>
|
|
<FORM>
|
|
|
|
|
|
<tr><td><label><input name="fonts" type="radio" id="pref:0:int:browser.use_document_fonts" checked>Use my default fonts, overriding document-specified fonts</label></td></tr>
|
|
<tr><td><label><input name="fonts" type="radio" id="pref:1:int:browser.use_document_fonts">Use document-specified fonts. but disable Dynamic Fonts</label></td></tr>
|
|
<tr><td><label><input name="fonts" type="radio" id="pref:2:int:browser.use_document_fonts">Use document-specified fonts, including Dynamic Fonts</label></td></tr>
|
|
</table>
|
|
</FORM>
|
|
|
|
</table>
|
|
</body>
|
|
</html>
|