[PATCH RFC V2] hgweb: code selection without line numbers in file source view

[Alexander Plavin]

2013/6/30 Martin Geisler <martin at geisler.net>:
> Alexander Plavin <me at aplavin.ru> writes:
>
>> 2013/6/29 Laurens Holst <laurens.nospam at grauw.nl>:
>>> Op 28-6-2013 14:01, Alexander Plavin schreef:
>>>
>>>>> +li.source div {
>>>>> +  -moz-user-select: text;
>>>>> +  -khtml-user-select: text;
>>>>> +  -webkit-user-select: text;
>>>>> +  -ms-user-select: text;
>>>>> +  user-select: text;
>>>>> +  padding: 1px 5px;
>>>>> +  border-left: 1px solid #ccc;
>>>>> +  margin: 0 0 0 -7px;
>>>>> +  color: #000;
>>>>> +  font-size: 111%;
>>>
>>>
>>> This 111% is a bit weird :).
>>>
>>> If I recall correctly (my web is a bit rusty), people generally just
>>> specify their font sizes in px.
>>
>> As I understand, the size in pixel may vary from user to user, from
>> browser to broser.
>
> Not really, a size given in px has the same size (measured in px...) in
> all browsers. The physical size can vary depending on the pixel density
> (resolution) of the screen, but that is another question.

I've meant exactly this, the default size in different user agents. As
I understand, hgweb uses relative font sizes everywhere, and here it
should be also so.

>
> What may differ is the browsers default font size. It is normally 16px,
> but it is not defined to be that size. If you define the font size using
> percentages or using em units throughout, then you're defining the size
> in terms of this default size. Websites often either fix the default
> size by setting font-size to a px value on the body element, or use px
> units throughout the design.
>
> --
> Martin Geisler