- From: Bert Bos <bert@w3.org>
- Date: Wed, 30 Nov 2005 17:39:26 -0500
- To: www-style@w3.org
leslie.brown@evidian.com wrote:
>>Lachlan Hunt wrote:
>
>
>>I looked for documentation of the leader() function in Prince's
>>documentation, but I couldn't find it mentioned anywhere. Is there any
>>documentation for it?
>
>
> And what is the best way to treat different page number lengths?
> Introduction.................1
> HTML (very long chapter)....15
> CSS........................123
>
> seems most logical but there's probably also a case for
> Introduction............... 1
> HTML (very long chapter)... 15
> CSS........................123
This looks more like a table. I would do this either with
li {display: table-row}
li span.title {display: table-cell}
li span.title:after {content: leader(".")}
li span.pageno {display: table-cell}
or I would simply insert a space, or better yet, a figure space:
... <span class=pageno>  1</span>
... <span class=pageno> 15</span>
... <span class=pageno>123</span>
Bert
--
Bert Bos ( W 3 C ) http://www.w3.org/
http://www.w3.org/people/bos W3C/ERCIM
bert@w3.org 2004 Rt des Lucioles / BP 93
+33 (0)4 92 38 76 92 06902 Sophia Antipolis Cedex, France
Received on Wednesday, 30 November 2005 22:39:46 UTC