- From: Ian Jacobs <ij@w3.org>
- Date: Tue, 25 Jul 2000 16:27:28 -0400
- To: Jon Gunderson <jongund@ux1.cso.uiuc.edu>
- CC: w3c-wai-ua@w3.org
Jon Gunderson wrote:
>
> Ian,
> So what you are saying is that the user should be able to configure the
> "base" or "default" font that is used as the basis for the default font
> size of specific elements?
- The default font is the one the user agent chooses if no one else
has specified anything.
- The author may specify font information as well.
- I'm saying that the user should be able to configure what
font family should be used for all text. There needs to be
an option to allow the user to say one of:
a) If the author has specified a font family, use that. If
not, use my font family (over the UA's default), or
b) Always use my font family over the author's specified
font family or UA default font family.
Netscape 4.73 allows me a little more control: The choice of
two font families: one for fixed-width fonts and one for
variable width fonts. I don't really know how the UA distinguishes
the two (it can be done in CSS, but I don't know how it works
in the HTML FONT element case).
- Ian
> Jon
>
> At 02:18 PM 7/25/2000 -0400, Ian Jacobs wrote:
> >Jon Gunderson wrote:
> > >
> > > >
> > > >4.1 Allow the user to configure and control
> > > > the size of paragraph text. Make available the
> > > > range of system font sizes.
> > >
> > > JRG: Why not just use "all text" rather than "paragraph text" like in your
> > > proposal for 4.2 below?
> >
> >What if I configure the text size to be "12pt" as allowed
> >by my Netscape Navigator? What does 12pt refer to? Not
> >all text, then headings would be the same size as
> >paragraph text and so forth.
> >
> >So either the user can specify one text size and we should
> >say what that one size applies to. Or the user should be
> >able to specify N text sizes to N different element types.
> >And that's what I don't want to require of the user agent
> >as a P1 requirement. (More precisely, I don't think that
> >that's what the current 4.1 requires. If we want to
> >require N different text size configurations, then we should
> >need to discuss that further).
> >
> >The difference with 4.2 is that it does make sense to
> >apply a font family (e.g., Arial) to all text, whatever element
> >it comes from. Of course, you might want finer control than
> >that, but the current 4.2 only makes a global requirement.
> >
> > - Ian
> >
> > > > Note on 4.1: I have chosen "paragraph" text (which is
> > > > very HTML-centric) consciously. Otherwise, what would be
> > > > the set of elements for which configuration is required?
> > > >
> > > >4.2 Allow the user to configure the font family for
> > > > all text. Allow the user to specify whether this
> > > > preference overrides author-specified font families.
> > > > Allow the user to select from among
> > > > the range of system font families.
> >
> >--
> >Ian Jacobs (jacobs@w3.org) http://www.w3.org/People/Jacobs
> >Tel: +1 831 457-2842
> >Cell: +1 917 450-8783
>
> Jon Gunderson, Ph.D., ATP
> Coordinator of Assistive Communication and Information Technology
> Division of Rehabilitation - Education Services
> MC-574
> College of Applied Life Studies
> University of Illinois at Urbana/Champaign
> 1207 S. Oak Street, Champaign, IL 61820
>
> Voice: (217) 244-5870
> Fax: (217) 333-0248
>
> E-mail: jongund@uiuc.edu
>
> WWW: http://www.staff.uiuc.edu/~jongund
> WWW: http://www.w3.org/wai/ua
--
Ian Jacobs (jacobs@w3.org) http://www.w3.org/People/Jacobs
Tel: +1 831 457-2842
Cell: +1 917 450-8783
Received on Tuesday, 25 July 2000 16:27:33 UTC