On 13 April 2016 at 13:24, Benjamin Fritz <fritzophrenic@gmail.com> wrote:
>
> On Tue, Apr 12, 2016 at 9:12 PM, Yongwei Wu <wuyongwei@gmail.com> wrote:
>>
>> I think this is dependent on the browser configuration. In my case,
>> the IE font size with 1 em is apparent bigger than other cases. In
>> other browsers (with or without 1 em) or IE without 1 em, I get the
>> standard 10 pt (13 px) Courier New as output.
>>
>> I guess the reason is that the standard CSS in IE has 10 pt Courier
>> New for <pre>, and 12 pt ... for <body>. "font-size: 1em" makes <pre>
>> use 12 pt as well. For some reasons Chrome is not affected by
>> "font-size: 1em": I verified that it thinks the font-size is still 13
>> px, the default setting.
>
> A feature I was thinking about was to auto-detect font name and font size,
> and apply that.
>
> This would apply the same font size from Vim to the document instead of
> "1em". And obviously, a manual setting would go along with that.
>
> Not sure if this would solve your problem as well or if you want the line
> gone entirely.
>
> Probably the targeting could be more precise.
Unless we can find a reason when "* { font-size: 1em; }" is useful,
the simple solution seem just to remove this line. That was the way
Vim used to be.
Can we find out when and why it was introduced?
--
Wu Yongwei
URL: http://wyw.dcweb.cn/
--
--
You received this message from the "vim_use" maillist.
Do not top-post! Type your reply below the text you are replying to.
For more information, visit http://www.vim.org/maillist.php
---
You received this message because you are subscribed to the Google Groups "vim_use" group.
To unsubscribe from this group and stop receiving emails from it, send an email to vim_use+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment