Path: csiph.com!usenet.pasdenom.info!weretis.net!feeder4.news.weretis.net!feeds.phibee-telecom.net!newsfeed.xs4all.nl!newsfeed3.news.xs4all.nl!xs4all!newsgate.cistron.nl!newsgate.news.xs4all.nl!post.news.xs4all.nl!not-for-mail
To: python-list@python.org
From: Terry Reedy <tjreedy@udel.edu>
Subject: Re: Python Coverage: testing a program
Date: Thu, 24 Oct 2013 19:55:38 -0400
References: <5268a818$0$30000$c3e8da3$5496439d@news.astraweb.com> <7wtxg7cfww.fsf@benfinney.id.au> <mailman.1463.1382611399.18130.python-list@python.org> <526908b2$0$29981$c3e8da3$5496439d@news.astraweb.com> <52695CFB.9010309@nedbatchelder.com> <526984F3.3040905@udel.edu> <7weh7acrv8.fsf_-_@benfinney.id.au> <5269A0D2.9000200@udel.edu>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:24.0) Gecko/20100101 Thunderbird/24.0.1
In-Reply-To: <5269A0D2.9000200@udel.edu>
Precedence: list
Newsgroups: comp.lang.python
Message-ID: <mailman.1491.1382658956.18130.python-list@python.org>
Lines: 39
NNTP-Posting-Host: 2001:888:2000:d::a6
Xref: csiph.com comp.lang.python:57482

On 10/24/2013 6:36 PM, Terry Reedy wrote:

> OK, I added .coveragerc and that works. In the process of verifying
> this, I was reminded that there is an overt bug in the html report as
> displayed by Firefox. The fonts used for line numbers
> ("class='linenos'") and line text ("class='text'") are slightly
> different and, more importantly, with difference sizes (line numbers are
> larger). So corresponding numbers and text do not line up with each
> other. This makes the J,K hotkeys and missing branch notations much less
> useful than intended. If I use cntl-scrollwheel to change text size,
> both change in the same proportion, so the mismatch is maintained.

I found the style.css file and the linenos entry that works to make 
numbers and text line us is, *after correction*:

/* Source file styles */
.linenos p {
     text-align: right;
     margin: 0;
     padding: 0 .5em 0 .5em;
     color: #999999;
     font-family: verdana, sans-serif;
     font-size: .625em;   /* 10/16 */
     /* line-height: 1.6em;  /* 16/10 */
     }

Padding was '0 .5em', which I gather is the same as '0 .5em .5em .5em', 
which adds padding to both top and bottom, instead of just one of the 
two. The corresponding text padding is '0 0 0 .5em'. The extra .5 for 
numbers puts padding needed on the right to separate numbers from the 
vertical green bars. The commented-out line-height added to mis-alignment.

The verdana numerals *are* larger than those for the inherited page 
default (font: 'inherit' at the top of the file). But they do not cause 
misalignment.

-- 
Terry Jan Reedy