[PATCH 1 of 5 V2] hgweb: code selection without line numbers in file code view

[Nicholas Riley]

In article <88877f36f75166b4bd12.1369997513 at debian-alexander.dolgopa>,
 Alexander Plavin <me at aplavin.ru> wrote:

> +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;
> +  position: relative;
> +  color: #000;
> +  font-size: 111%;
> +}

The vertical padding here causes some artifacts at the left margin 
during selection in WebKit/Blink-based browsers - it also results in 
reduced vertical density when compared with the old view. However, 
without it, the horizontal lines may overlap the top of the text, so 
you'll need to compensate for that somewhere else.
-- 
Nicholas Riley <njriley at illinois.edu>