File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 11<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
22<html lang="en">
3- <!-- $Id: ui.src,v 1.22 1998-01-15 22:13:20 howcome Exp $ -->
3+ <!-- $Id: ui.src,v 1.23 1998-01-28 06:45:18 ijacobs Exp $ -->
44<HEAD>
55<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
66<TITLE>User interface</TITLE>
@@ -166,6 +166,12 @@ P { color: windowtext; background-color: window }
166166</PRE>
167167</div>
168168
169+ <H2><a name="system-fonts">User preferences for fonts</a></H2>
170+
171+ <P>The <span class="propinst-font">'font'</span> property allows
172+ authors to specify fonts available in the user's own graphical
173+ environment. Please consult this property for details.
174+
169175<H2>Other rendering issues that depend on user agents</H2>
170176
171177<H3>Magnification</H3>
You can’t perform that action at this time.
0 commit comments