ietf
[Top] [All Lists]

Re: comments on newly generated html draft format and font sizes

2015-04-22 10:56:37
On Wed, Apr 22, 2015 at 11:49 AM, Joel M. Halpern 
<jmh(_at_)joelhalpern(_dot_)com> wrote:
I have to agree that 12pt produces too large a default.  Is there an easy
way for me as a user to experiment with what 10pt would look like, so I can
comment on that?  And is there an easy way for me to try that size on my
phone, to see if it seems equally readable there?

Save the page as a file, open it with an editor, replace 'font-size:
foo' with whatever number you want to try, and reopen the file? You
will probably need to post it on a webserver or email it to yourself
(depending on the phone)
W


Thanks,
Joel


On 4/22/15 11:42 AM, Paul Wouters wrote:

On Wed, 22 Apr 2015, Henrik Levkowetz wrote:

???  You obviously believe that a font size of '1em' or 'medium' is
semantically
more correct than '12pt'.  Can you back that up?  The CSS 2.1
specification
is very clear about the semantic meaning of point sizes, see Section
4.3.2 of
the CSS 2.1 specifcaiton.

If you don't want to use "1em", please consider "medium", which tells
the browser to use the default size it believes is best based on
defaults and configuration by the user.


That's funny.  'medium' is the default setting, which is what you get
with
1em.  Hilarious :-D


Today I thought my browser on my laptop had a bug in it, because it
displayed the draft using insanely big letters and I had to hit ctrl "-"
to bring the size down to something reasonable. Then I noticed this
thread :P

Paul






-- 
I don't think the execution is relevant when it was obviously a bad
idea in the first place.
This is like putting rabid weasels in your pants, and later expressing
regret at having chosen those particular rabid weasels and that pair
of pants.
   ---maf

<Prev in Thread] Current Thread [Next in Thread>