- From: Ian Jacobs <ij@w3.org>
- Date: Tue, 25 Jul 2000 14:18:55 -0400
- To: Jon Gunderson <jongund@ux1.cso.uiuc.edu>
- CC: w3c-wai-ua@w3.org
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
Received on Tuesday, 25 July 2000 14:19:08 UTC