![](https://secure.gravatar.com/avatar/386a116d129cdc597f2bb6210bbaff7a.jpg?s=120&d=mm&r=g)
1 Mar
2011
1 Mar
'11
9:52 a.m.
On Tue, Mar 1, 2011 at 9:29 AM, Ian Lawrence
So many things I am only vaguely aware of....! But I think that pixels are a) undocumented b) work.... And I'm pretty sure i'll put both (ignorant) feet in it in trying to add something to the Wiki... Greetings from the grey England.. Ian It's a pdftex feature. -- luigi